|
L. v. Aertryck and T. Jensen, “UML-Casting: Test Synthesis from UML Models Using Constraint Resolution,” In Proceedings of the Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2003.
|
|
S. Ali, M. Z. Iqbal, A. Arcuri, and L. C. Briand, “Generating Test Data from OCL Constraints with Search Techniques,” IEEE Transactions on Software Engineering, vol. 39, no. 10, pp. 1376-1402, 2013
|
|
S. Ali, M. Z. Iqbal, M. Khalid, and A. Arcuri, “Improving the Performance of OCL Constraint Solving with Novel Heuristics for Logical Operations: a Search-Based Approach,” Empirical Software Engineering, vol. 21, no.6, pp.2459-2502, 2016
|
|
S. Anand, E. K. Burke, T. Y. Chen, J. Clark, M. B. Cohen, W. Grieskamp, M. Harman, M. J. Harrold, and P. McMinn, “An Orchestrated Survey of Methodologies for Automated Software Test Case Generation,” Journal of Systems and Software, vol. 86, no. 8, pp.1978-2001, 2013
|
|
A. Arcuri and L. Briand, “Adaptive Random Testing: An Illusion of Effectiveness?” In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), pp.265-275, Toronto, Ontario, Canada, July 2011
|
|
I. Banerjee, B. Nguyen, V. Garousi, and A. Memon, “Graphical User Interface (GUI) testing: Systematic Mapping and Repository,” Information and Software Technology, vol. 55, no.10, pp.1679-1694, 2013
|
|
M. Benattou, J.-M. Bruel, and N. Hameurlain, “Generating Test Data from OCL Specification,” In Proceeding of ECOOP Workshop on Integration and Transformation of UML Models, 2002
|
|
A. D. Brucker and B. Wolff, “On Theorem Prover-Based Testing,” Formal Aspects of Computing, vol. 25, no. 5, pp 683–721, 2013
|
|
C. Cadar, D. Dunbar, and D. Engler, “KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs,” In Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI), pp. 209-224, San Diego, California, USA, 2008
|
|
L. de Moura and N. Bj?rner, “Z3: An Efficient SMT Solver,” In Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp. 337-340, Budapest, Hungary, March 2008
|
|
P. Godefroid, N. Klarlund, and K. Sen, “DART: Directed Automated Random Testing,” In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 213-223, Chicago, IL, USA, June 2005
|
|
P. Godefroid, H. Peleg, and R. Singh, “Learn&Fuzz: Machine Learning for Input Fuzzing,” In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 50-59, Urbana-Champaign, IL, USA, 2007
|
|
C. A. González and J. Cabot, “Test Data Generation for Model Transformations Combining Partition and Constraint Analysis,” In Proceedings of the International Conference on Theory and Practice of Model Transformations, pp. 25-41, York, UK, July 2014
|
|
A. Gotlieb. “Chapter Two: Constraint-Based Testing: An Emerging Trend in Software Testing,” Advances in Computers, vol. 99, pp. 67-101, 2015
|
|
F. M. Kifetew, R. Tiella, and P. Tonella, “Generating Valid Grammar-Based Test Inputs by Means of Genetic Programming and Annotated Grammars,” Empirical Software Engineering, vol.22, no.2, pp 928–961, 2017
|
|
H. Mei and L. Zhang, “A Framework for Testing Web Services and Its Supporting Tool,” In Proceedings of the IEEE International Workshop on Service-Oriented System Engineering (SOSE), pp. 207-214, Beijing, China, October, 2005.
|
|
K. Sen, D. Marinov, and G. Agha, “CUTE: A Concolic Unit Testing Engine for C,” In Proceedings of the International Symposium on the Foundations of Software Engineering (FSE), pp. 263-272 , Lisbon, Portugal, September 2005
|
|
M. Utting, A. Pretschner, and B. Legeard, “A Taxonomy of Model-Based Testing Approaches,” Software Testing, Verification and Reliability, vol.22, no.5, pp.297-312, 2012
|
|
S. Weiβleder and B.-H. Schlingloff, “Deriving Input Partitions from UML Models for Automatic Test Generation,” In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 151-163, Nashville, TN, USA, September 2007
|
|
S. Weiβleder andB.-H. Schlingloff, “Quality of Automatically Generated Test Cases Based on OCL Expressions,” In Proceedings of the International Conference on Software Testing, Verification, and Validation (ICST), pp. 517-520, Lillehammer, Norway, June 2008
|
|
Coreutils - GNU core utilities, 2018, http://www.gnu.org/software/coreutils/
|
|
gcov—a Test Coverage Program, 2018, https://gcc.gnu.org/onlinedocs/gcc/Gcov.html
|