Pex swMATH ID: 7263 Software Authors: Nikolai Tillmann, Jonathan de Halleux Description: Pex–White Box Test Generation for .NET. Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution, similar to path-bounded model-checking) to determine test inputs for Parameterized Unit Tests. Pex learns the program behavior by monitoring execution traces. Pex uses a constraint solver to produce new test inputs which exercise different program behavior. The result is an automatically generated small test suite which often achieves high code coverage. In one case study, we applied Pex to a core component of the .NET runtime which had already been extensively tested over several years. Pex found errors, including a serious issue. Homepage: http://rd.springer.com/chapter/10.1007/978-3-540-79124-9_10 Related Software: DART; CUTE; z3; STP; KLEE; Java PathFinder; jCUTE; VeriFast; ESC/Java; Spec#; Boogie; YOGI; SpecExplorer; PathCrawler; Maude; Coq; Stranger; ATGen; BLAST; ASTREE Cited in: 25 Publications all top 5 Cited by 67 Authors 3 Arusoaie, Andrei 3 Rusu, Vlad 2 Barrett, Clark W. 2 Liang, Tianyi 2 Lucanu, Dorel 2 Reynolds, Andrew 2 Tinelli, Cesare 2 Trtík, Marek 2 Tsiskaridze, Nestan 1 Ahrendt, Wolfgang 1 Albert, Elvira 1 Amadini, Roberto 1 Amato, Gianluca 1 Bjørner, Nikolaj S. 1 Brucker, Achim D. 1 Bu, Lei 1 Bubel, Richard 1 Bushnell, David H. 1 Carlier, Matthieu 1 Cavalcanti, Ana 1 Chimento, Jesús Mauricio 1 Christakis, Maria 1 Deters, Morgan 1 Dubois, Catherine 1 Erzberger, Heinz 1 Fähndrich, Manuel 1 Gange, Graeme 1 Gaudel, Marie-Claude 1 Giannakopoulou, Dimitra 1 Godefroid, Patrice 1 Gómez-Zamalloa, Miguel 1 Gotlieb, Arnaud 1 Hähnle, Reiner 1 Heere, Karen 1 Hooimeijer, Pieter 1 Hu, Yi-Qi 1 Janičić, Predrag 1 Ji, Ran 1 Julliand, Jacques 1 Kouchnarenko, Olga 1 Kuliamin, Victor V. 1 Li, Xuandong 1 Liang, Yongjuan 1 Logozzo, Francesco 1 Masson, Pierre-Alain 1 Müller, Peter 1 Obdržálek, Jan 1 Pace, Gordon J. 1 Parton, Maurizio 1 Puebla, Germán 1 Qian, Hong 1 Schachte, Peter 1 Schneider, Gerardo 1 Schumann, Johann M. Ph. 1 Scozzari, Francesca 1 Sen, Koushik 1 Søndergaard, Harald 1 Strejček, Jan 1 Stuckey, Peter James 1 Tillmann, Nikolai 1 Veanes, Margus 1 Voiron, Guillaume 1 Voronkov, Andrei 1 Wolff, Burkhart 1 Wüstholz, Valentin 1 Xie, Zhunyi 1 Yu, Yang all top 5 Cited in 10 Serials 2 Programming and Computer Software 2 Journal of Symbolic Computation 2 Formal Aspects of Computing 2 Formal Methods in System Design 1 Theoretical Computer Science 1 Annals of Mathematics and Artificial Intelligence 1 Theory and Practice of Logic Programming 1 Computer Languages, Systems & Structures 1 Logical Methods in Computer Science 1 Journal of Logical and Algebraic Methods in Programming Cited in 4 Fields 24 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) Citations by Year