Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs
暂无分享,去创建一个
Nazareno Aguirre | Marcelo F. Frias | Juan P. Galeotti | Valeria S. Bengolea | M. Frias | Nazareno Aguirre
[1] Daniel Jackson,et al. Software Abstractions - Logic, Language, and Analysis , 2006 .
[2] Sarfraz Khurshid,et al. An Empirical Study of Structural Constraint Solving Techniques , 2009, ICFEM.
[3] Sarfraz Khurshid,et al. Test input generation with java PathFinder , 2004, ISSTA '04.
[4] Koushik Sen,et al. CUTE: a concolic unit testing engine for C , 2005, ESEC/FSE-13.
[5] Sarfraz Khurshid,et al. Korat: A Tool for Generating Structurally Complex Test Inputs , 2007, 29th International Conference on Software Engineering (ICSE'07).
[6] Sarfraz Khurshid,et al. TestEra: Specification-Based Testing of Java Programs Using SAT , 2004, Automated Software Engineering.
[7] A. Jefferson Offutt,et al. MuJava: an automated class mutation system , 2005, Softw. Test. Verification Reliab..
[8] Cem Kaner,et al. Lessons Learned in Software Testing , 2001 .
[9] Margus Veanes,et al. Model-Based Testing with AsmL .NET , 2003 .
[10] David Notkin,et al. Rostra: a framework for detecting redundant object-oriented unit tests , 2004, Proceedings. 19th International Conference on Automated Software Engineering, 2004..
[11] Ajitha Rajan,et al. Requirements Coverage as an Adequacy Measure for Conformance Testing , 2008, ICFEM.
[12] Sarfraz Khurshid,et al. PKorat: Parallel Generation of Structurally Complex Test Inputs , 2009, 2009 International Conference on Software Testing Verification and Validation.
[13] Barbara Liskov,et al. Program Development in Java - Abstraction, Specification, and Object-Oriented Design , 1986 .
[14] Hong Zhu,et al. Software unit test coverage and adequacy , 1997, ACM Comput. Surv..
[15] Marcelo F. Frias,et al. Analysis of invariants for efficient bounded verification , 2010, ISSTA '10.
[16] Sarfraz Khurshid,et al. Korat: automated testing based on Java predicates , 2002, ISSTA '02.
[17] Sarfraz Khurshid,et al. Test generation through programming in UDITA , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.