TestEra swMATH ID: 7258 Software Authors: Marinov, D; Khurshid, S Description: TestEra: A novel framework for automated testing of Java programs We present TestEra, a novel framework for automated testing of Java programs. TestEra automatically generates all non-isomorphic test cases within a given input size and evaluates correctness criteria. As an enabling technology, TestEra uses Alloy, a first-order relational language, and the Alloy Analyzer. Checking a program with TestEra involves modeling the correctness criteria for the program in Alloy and specifying abstraction and concretization translations between instances of Alloy models and Java data structures. TestEra produces concrete Java inputs as counterexamples to violated correctness criteria. The paper discusses TestEra’s analyses of several case studies: methods that manipulate singly linked lists and red-black trees, a naming architecture, and a part of the Alloy Analyzer. Homepage: http://dl.acm.org/citation.cfm?id=872551 Related Software: Korat; Rostra; Symstra; z3; CUTE; Java PathFinder; Kodkod; Alloy; TACO; Alcoa; Chaff; JCrasher; Eclat; JUnit; margrave; Alloy*; Mace4; MiniSat; PVS; Jerusat Cited in: 14 Publications all top 5 Cited by 44 Authors 5 Khurshid, Sarfraz 3 Marinov, Darko 2 Jackson, Daniel 2 Rinard, Martin C. 1 Al-Yahya, Tasniem Nasser 1 Arkoudas, Konstantine 1 Artho, Cyrille 1 Barringer, Howard 1 Bouillaguet, Charles 1 Cherkaoui, Omar 1 Chernov, E. S. 1 Deca, Rudy 1 El-bachir Menai, Mohamed 1 Engel, Christian 1 Gopinath, Divya 1 Habermehl, Peter 1 Hähnle, Reiner 1 Hallé, Sylvain 1 Havelund, Klaus 1 Iosif, Radu 1 Kang, Eunsuk 1 Krishnamurthi, Shriram 1 Kuliamin, Victor V. 1 Kuncak, Viktor 1 Liu, Shaoying 1 Lowry, Mike 1 Malik, Muhammad Zubair 1 Milicevic, Aleksandar 1 Near, Joseph P. 1 Nelson, Tim 1 Păsăreanu, Corina S. 1 Ponomarenko, A. V. 1 Porncharoenwase, Sorawee 1 Roşu, Grigore 1 Rubanov, V. V. 1 Sen, Koushik 1 Shlyakhter, Ilya 1 Villemaire, Roger 1 Visser, Willem 1 Vojnar, Tomáš 1 Washington, Rich 1 Wies, Thomas 1 Zee, Karen 1 Zybin, R. S. Cited in 5 Serials 1 Acta Informatica 1 Programming and Computer Software 1 Theoretical Computer Science 1 Journal of Computer Science and Technology 1 Formal Methods in System Design Cited in 2 Fields 14 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year