leogugl.blogg.se - Test data generator tool

TEST DATA GENERATOR TOOL VERIFICATION

Accelerating Array Constraints in Symbolic Execution. Perry, Andrea Mattavelli, Xiangyu Zhang, and Cristian Cadar. In 2016 3rd National Foundation for Science and Technology Development Conference on Information and Computer Science (NICS). A method for automated unit testing of C programs. Springer-Verlag, Berlin, Heidelberg, 609-615.

TEST DATA GENERATOR TOOL VERIFICATION

In Proceedings of the 23rd International Conference on Computer Aided Verification (CAV'11). KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs. Guodong Li, Indradeep Ghosh, and Sreeranga P.In Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '05). Patrice Godefroid, Nils Klarlund, and Koushik Sen.Springer-Verlag, Berlin, Heidelberg, 337-340. In Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08/ETAPS'08).

Leonardo De Moura and Nikolaj Bjørner.

Symbolic Execution for Software Testing: Three Decades Later. USENIX Association, Berkeley, CA, USA, 209-224. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI'08). KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs.

Cristian Cadar, Daniel Dunbar, and Dawson Engler.

IEEE Computer Society, Washington, DC, USA, 443-446. In Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE '08). Heuristics for Scalable Dynamic Test Generation.