Parallel test generation and execution with Korat

  title={Parallel test generation and execution with Korat},
  author={Sasa Misailovic and Aleksandar Milicevic and Nemanja Petrovic and Sarfraz Khurshid and Darko Marinov},
  booktitle={ESEC/SIGSOFT FSE},
We present novel algorithms for parallel testing of code that takes structurally complex test inputs. The algorithms build on the Korat algorithm for constraint-based generation of structurally complex test inputs. Given an imperative predicate that specifies the desired structural constraints and a finitization that bounds the desired input size, Korat performs a systematic search to generate all test inputs (within the bounds) that satisfy the constraints. We present how to generate test… CONTINUE READING
Highly Cited
This paper has 40 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 29 extracted citations

Improved GUI Testing using Task Parallel Library

ACM SIGSOFT Software Engineering Notes • 2016
View 1 Excerpt

The Effect of Test Suite Type on Regression Test Selection

2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE) • 2016
View 1 Excerpt

Ranger: Parallel analysis of alloy models by range partitioning

2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) • 2013
View 1 Excerpt


Publications referenced by this paper.
Showing 1-8 of 8 references

Similar Papers

Loading similar papers…