Enhancing symbolic execution using memoization and incremental techniques

viii

[1]  Michael R. Lowry,et al.  Combining unit-level symbolic execution and system-level concrete execution for testing nasa software , 2008, ISSTA '08.

[2]  Dawson R. Engler,et al.  Practical, Low-Effort Equivalence Verification of Real Code , 2011, CAV.

[3]  Daniel Jackson,et al.  Finding bugs with a constraint solver , 2000, ISSTA '00.

[4]  Klaus Havelund,et al.  Model checking programs , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

[5]  Corina S. Pasareanu,et al.  Symbolic execution with abstraction , 2008, International Journal on Software Tools for Technology Transfer.

[6]  Corina S. Pasareanu,et al.  Parallel symbolic execution for structural test generation , 2010, ISSTA '10.

[7]  Nikolai Tillmann,et al.  Demand-Driven Compositional Symbolic Execution , 2008, TACAS.

[8]  Corina S. Pasareanu,et al.  Symbolic PathFinder: symbolic execution of Java bytecode , 2010, ASE.

[9]  Gabor Karsai,et al.  Polyglot: modeling and analysis for multiple Statechart formalisms , 2011, ISSTA '11.

[10]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[11]  Todd Millstein,et al.  Automatic predicate abstraction of C programs , 2001, PLDI '01.

[12]  Raúl A. Santelices,et al.  Exploiting program dependencies for scalable multiple-path symbolic execution , 2010, ISSTA '10.

[13]  Myra B. Cohen,et al.  Factors affecting the use of genetic algorithms in test suite augmentation , 2010, GECCO '10.

[14]  James C. King,et al.  Symbolic execution and program testing , 1976, CACM.

[15]  Albert L. Baker,et al.  Preliminary design of JML: a behavioral interface specification language for java , 2006, SOEN.

[16]  Dawson R. Engler,et al.  KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs , 2008, OSDI.

[17]  Sarfraz Khurshid,et al.  Generalized Symbolic Execution for Model Checking and Testing , 2003, TACAS.

[18]  Andrea Polini,et al.  FITE: future integrated testing environment , 2010, FoSER '10.

[19]  Shuvendu K. Lahiri,et al.  Underspecified harnesses and interleaved bugs , 2012, POPL '12.

[20]  Michael D. Ernst,et al.  Dynamically discovering likely program invariants , 2000 .

[21]  S. Malek,et al.  An Energy Consumption Framework for Distributed Java-Based Software , 2022 .

[22]  Shuvendu K. Lahiri,et al.  Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation , 2011, SAS.

[23]  George S. Avrunin,et al.  Combining symbolic execution with model checking to verify parallel numerical programs , 2008, TSEM.

[24]  Gregg Rothermel,et al.  Regression model checking , 2009, 2009 IEEE International Conference on Software Maintenance.

[25]  Niklas Sörensson,et al.  An Extensible SAT-solver , 2003, SAT.

[26]  Sarfraz Khurshid,et al.  Memoized symbolic execution , 2012, ISSTA 2012.

[27]  Zhihong Xu,et al.  Directed test suite augmentation , 2011, 2011 33rd International Conference on Software Engineering (ICSE).

[28]  Mahesh Viswanathan,et al.  Incremental state-space exploration for programs with dynamically allocated data , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[29]  Robby,et al.  Kiasan/KUnit: Automatic Test Case Generation and Analysis Feedback for Open Object-oriented Systems , 2007, Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007).

[30]  Sarfraz Khurshid,et al.  An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method , 2009, FM.

[31]  Bertrand Meyer,et al.  A comparative study of programmer-written and automatically inferred contracts , 2009, ISSTA.

[32]  Nikolai Tillmann,et al.  DySy: dynamic symbolic execution for invariant inference , 2008, ICSE.

[33]  C. A. R. Hoare,et al.  Differential static analysis: opportunities, applications, and challenges , 2010, FoSER '10.

[34]  Gregg Rothermel,et al.  Understanding user understanding: determining correctness of generated program invariants , 2012, ISSTA 2012.

[35]  Gabor Karsai,et al.  Generative programming for embedded systems , 2002, PPDP '02.

[36]  Robert E. Tarjan,et al.  Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..

[37]  Sarfraz Khurshid,et al.  Repairing Structurally Complex Data , 2005, SPIN.

[38]  Yong Rae Kwon,et al.  MuJava: an automated class mutation system: Research Articles , 2005 .

[39]  Marcelo d'Amorim,et al.  CORAL: Solving Complex Constraints for Symbolic PathFinder , 2011, NASA Formal Methods.

[40]  Koushik Sen.  DART: Directed Automated Random Testing , 2009, Haifa Verification Conference.

[41]  Junaid Haroon Siddiqui,et al.  Improving systematic constraint-driven analysis using incremental and parallel techniques , 2012 .

[42]  Sarfraz Khurshid,et al.  Memoise: A tool for memoized symbolic execution , 2013, 2013 35th International Conference on Software Engineering (ICSE).

[43]  David S. Rosenblum,et al.  A historical perspective on runtime assertion checking in software development , 2006, SOEN.

[44]  Matthew B. Dwyer,et al.  Differential symbolic execution , 2008, SIGSOFT '08/FSE-16.

[45]  Sarfraz Khurshid,et al.  Korat: automated testing based on Java predicates , 2002, ISSTA '02.

[46]  Lori A. Clarke,et al.  A program testing system , 1976, ACM '76.

[47]  Matthew B. Dwyer,et al.  Green: reducing, reusing and recycling constraints in program analysis , 2012, SIGSOFT FSE.

[48]  A. Jefferson Offutt,et al.  Introduction to Software Testing , 2008 .

[49]  William R. Bush,et al.  A static analyzer for finding dynamic programming errors , 2000 .

[50]  Patrice Godefroid,et al.  Compositional dynamic test generation , 2007, POPL '07.

[51]  Walter Chochen Chang,et al.  Improving dynamic analysis with data flow analysis , 2010 .

[52]  Alessandro Orso,et al.  JDiff: A differencing technique and tool for object-oriented programs , 2006, Automated Software Engineering.

[53]  R. Lipton,et al.  Mutation analysis , 1998 .

[54]  Sarfraz Khurshid,et al.  Scaling symbolic execution using ranged analysis , 2012, OOPSLA '12.

[55]  Sarfraz Khurshid,et al.  Generalizing symbolic execution to library classes , 2005, PASTE '05.

[56]  Shuvendu K. Lahiri,et al.  Differential assertion checking , 2013, ESEC/FSE 2013.

[57]  Zhenkai Liang,et al.  Test generation to expose changes in evolving programs , 2010, ASE '10.

[58]  James A. Jones.  Semi-automatic fault localization , 2008 .

[59]  Miryung Kim,et al.  Automatic Inference of Structural Changes for Matching across Program Versions , 2007, 29th International Conference on Software Engineering (ICSE'07).

[60]  Nikolai Tillmann,et al.  eXpress: guided path exploration for efficient regression test generation , 2011, ISSTA '11.

[61]  Gregg Rothermel,et al.  An empirical study of regression test selection techniques , 1998, Proceedings of the 20th International Conference on Software Engineering.

[62]  Mats Per Erik Heimdahl,et al.  Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier , 2005, SAFECOMP.

[63]  Dan E. Willard.  New Trie Data Structures Which Support Very Fast Search Operations , 1984, J. Comput. Syst. Sci..

[64]  Sriram K. Rajamani,et al.  Compositional may-must program analysis: unleashing the power of alternation , 2010, POPL '10.

[65]  Koushik Sen,et al.  CUTE: a concolic unit testing engine for C , 2005, ESEC/FSE-13.

[66]  Dawson R. Engler,et al.  Execution Generated Test Cases: How to Make Systems Code Crash Itself , 2005, SPIN.

[67]  Sarfraz Khurshid,et al.  Directed incremental symbolic execution , 2011, PLDI '11.