muJava

µJava (muJava) is a mutation system for Java programs. It automatically generates mutants for both traditional mutation testing and class-level mutation testing. µJava can test individual classes and packages of multiple classes. Tests are supplied by the users as sequences of method calls to the classes under test encapsulated in methods in separate classes JUnit classes. µJava is the result of a collaboration between two universities, Korea Advanced Institute of Science and Technology (KAIST) in S. Korea and George Mason University in the USA. The research collaborators are Yu Seung Ma, PhD candidate at KAIST in Korea, Dr. Yong Rae Kwon, Professor at KAIST in Korea, and Dr. Jeff Offutt, Professor at George Mason University in the USA. Most of the design was by Jeff and YuSeung, and the original software development was done by YuSeung. µJava was modified extensively in 2012 and 2013 by Nan Li. Source files are available on a limited basis to researchers in mutation analysis; please contact Offutt for more information


References in zbMATH (referenced in 9 articles )

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

  1. Casado, Rubén; Younas, Muhammad; Tuya, Javier: Multi-dimensional criteria for testing web services transactions (2013) ioport
  2. Zamli, Kamal Z.; Klaib, Mohammad F. J.; Younis, Mohammed I.; Isa, Nor Ashidi Mat; Abdullah, Rusli: Design and implementation of a t-way test data generation strategy with automated execution tool support (2011) ioport
  3. Carver, Richard H.; Lei, Yu: A class library for implementing, testing, and debugging concurrent programs (2010) ioport
  4. Koochakzadeh, Negar; Garousi, Vahid: A tester-assisted methodology for test redundancy detection (2010) ioport
  5. Younis, Mohammed I.; Zamli, Kamal Z.: A strategy for automatic quality signing and verification processes for hardware and software testing (2010) ioport
  6. Smith, Ben H.; Williams, Laurie: On guiding the augmentation of an automated test suite via mutation analysis (2009) ioport
  7. Gupta, Atul; Jalote, Pankaj: An approach for experimentally evaluating effectiveness and efficiency of coverage criteria for software testing (2008) ioport
  8. Hennessy, Mark; Power, James F.: Analysing the effectiveness of rule-coverage as a reduction criterion for test suites of grammar-based software (2008) ioport
  9. Ma, Yu-Seung; Offutt, Jeff; Kwon, Yong Rae: Mujava: An automated class mutation system. (2005) ioport