JCrasher swMATH ID: 12796 Software Authors: Csallner, Christoph and Smaragdakis, Yannis Description: JCrasher: an Automatic Robustness Tester for Java. JCrasher is an automatic robustness testing tool for Java code. JCrasher examines the type information of a set of Java classes and constructs code fragments that will create instances of different types to test the behavior of public methods under random data. JCrasher attempts to detect bugs by causing the program under test to ”crash”–to throw an undeclared runtime exception. Although in general the random testing approach has many limitations, it also has the advantage of being completely automatic: no supervision is required except for online inspection of the test cases that have caused a crash. Compared to other similar commercial and research tools, JCrasher offers several novelties: ... Homepage: http://ranger.uta.edu/~csallner/jcrasher/ Related Software: Daikon; Rostra; DART; CUTE; Eclat; Symstra; Korat; BLAST; Java PathFinder; TestEra; JUnit; Caduceus; CIL; JML; Eiffel; ESC/Java; NanoXML; JWalk; OBJ3; ReCrash Cited in: 6 Publications all top 5 Cited by 24 Authors 1 Chernov, E. S. 1 Christakis, Maria 1 Ferenc, Rudolf 1 Gerber, Matthew J. 1 Groce, Alex 1 Havelund, Klaus 1 Hegedűs, Peter 1 Holzmann, Gerard J. 1 Joshi, Rajeev 1 Kádár, István 1 Kuliamin, Victor V. 1 Lei, Bin 1 Li, Xuandong 1 Liu, Zhiming 1 Morisset, Charles 1 Müller, Peter 1 Mutha, Chetan 1 Ponomarenko, A. V. 1 Rubanov, V. V. 1 Smidts, Carol S. 1 Stolz, Volker 1 Wüstholz, Valentin 1 Xu, Ru-Gang 1 Zybin, R. S. Cited in 5 Serials 1 ACM Computing Surveys 1 Acta Cybernetica 1 Programming and Computer Software 1 Science of Computer Programming 1 Annals of Mathematics and Artificial Intelligence Cited in 2 Fields 6 Computer science (68-XX) 1 Fluid mechanics (76-XX) Citations by Year