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: ...

References in zbMATH (referenced in 12 articles )

Showing results 1 to 12 of 12.
Sorted by year (citations)

  1. Kirchner, Florent; Kosmatov, Nikolai; Prevosto, Virgile; Signoles, Julien; Yakobowski, Boris: Frama-C: a software analysis perspective (2015) ioport
  2. Groce, Alex; Havelund, Klaus; Holzmann, Gerard; Joshi, Rajeev; Xu, Ru-Gang: Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning (2014)
  3. Kádár, István; Hegedűs, Péter; Ferenc, Rudolf: Runtime exception detection in Java programs using symbolic execution (2014)
  4. Smidts, Carol; Mutha, Chetan; Rodríguez, Manuel; Gerber, Matthew J.: Software testing with an operational profile: OP definition (2014)
  5. Christakis, Maria; Müller, Peter; Wüstholz, Valentin: Collaborative verification and testing with explicit assumptions (2012)
  6. Lei, Bin; Li, Xuandong; Liu, Zhiming; Morisset, Charles; Stolz, Volker: Robustness testing for software components (2010)
  7. Pasternak, Benny; Tyszberowicz, Shmuel; Yehudai, Amiram: GenUTest: a unit test and mock aspect generation tool (2009) ioport
  8. Zybin, R. S.; Kuliamin, V. V.; Ponomarenko, A. V.; Rubanov, V. V.; Chernov, E. S.: Automation of broad sanity test generation (2008)
  9. Simons, Anthony J. H.: Jwalk: a tool for lazy, systematic testing of Java classes by design introspection and user interaction. (2007) ioport
  10. Simons, Anthony J. H.: Jwalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction (2007) ioport
  11. Xie, Tao; Notkin, David: Tool-assisted unit-test generation and selection based on operational abstractions (2006) ioport
  12. Csallner, Christoph; Smaragdakis, Yannis: JCrasher: an automatic robustness tester for Java (2004) ioport