Systematic Testing Using Test Summaries: Effective and Efficient Testing of Relational Applications
作者： Shadi Abdul Khalek
DOI:
关键词:
摘要:
参考文章(71)
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre, Software verification with BLAST international workshop on model checking software. pp. 235- 239 ,(2003) , 10.1007/3-540-44829-2_17
Richard Helm, John Vlissides, Ralph Johnson, Erich Gamma, Design Patterns: Elements of Reusable Object-Oriented Software ,(1994)
Kent Beck, Erich Gamma, Test-infected: programmers love writing tests More Java gems. pp. 357- 376 ,(2000) , 10.1017/CBO9780511550881.029
Sarfraz Khurshid, Corina S. PĂsĂreanu, Willem Visser, Generalized symbolic execution for model checking and testing tools and algorithms for construction and analysis of systems. ,vol. 2619, pp. 553- 568 ,(2003) , 10.1007/3-540-36577-X_40
Vidya Priyadarshini Narayanan, Milao : a novel framework for mixed imperative and declarative formulation and solving of structural constraints ,(2009)
Daniel Jackson, Software Abstractions: Logic, Language, and Analysis ,(2006)
Engin Uzuncaova, Sarfraz Khurshid, Efficient specification-based testing using incremental techniques University of Texas at Austin. ,(2008)
Boris Beizer, Software Testing Techniques ,(1983)
Sowmiya Chocka Narayanan, Clustered Test Execution using Java PathFinder ,(2010)
Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, Sarfraz Khurshid, None, TestEra: A tool for testing Java programs using alloy specifications automated software engineering. pp. 608- 611 ,(2011) , 10.1109/ASE.2011.6100137