Korat swMATH ID: 7259 Software Authors: Chandrasekhar Boyapati; Sarfraz Khurshid; Darko Marinov Description: Korat: Automated testing based on Java predicates. This paper presents Korat, a novel framework for automated testing of Java programs. Given a formal specification for a method, Korat uses the method precondition to automatically generate all (nonisomorphic) test cases up to a given small size. Korat then executes the method on each test case, and uses the method postcondition as a test oracle to check the correctness of each output.To generate test cases for a method, Korat constructs a Java predicate (i.e., a method that returns a boolean) from the method’s pre-condition. The heart of Korat is a technique for automatic test case generation: given a predicate and a bound on the size of its inputs, Korat generates all (nonisomorphic) inputs for which the predicate returns true. Korat exhaustively explores the bounded input space of the predicate but does so efficiently by monitoring the predicate’s executions and pruning large portions of the search space.This paper illustrates the use of Korat for testing several data structures, including some from the Java Collections Framework. The experimental results show that it is feasible to generate test cases from Java predicates, even when the search space for inputs is very large. This paper also compares Korat with a testing framework based on declarative specifications. Contrary to our initial expectation, the experiments show that Korat generates test cases much faster than the declarative framework. Homepage: http://dl.acm.org/citation.cfm?id=566191 Related Software: Java PathFinder; Symstra; TestEra; CUTE; Rostra; JUnit; veriSoft; DART; Daikon; QuickCheck; SPIN; JCrasher; JPF-SE; ESC/Java; Geno; Eclat; BLAST; Bandera; SLAM; AsmL Cited in: 22 Publications all top 5 Cited by 64 Authors 3 Păsăreanu, Corina S. 3 Visser, Willem 2 Artho, Cyrille 2 Havelund, Klaus 2 Khurshid, Sarfraz 2 Lowry, Mike 2 Roşu, Grigore 2 Schulte, Wolfram 2 Veanes, Margus 1 Aguirre, Nazareno M. 1 Arroyo, Marcelo 1 Ball, Thomas 1 Barringer, Howard 1 Beckert, Bernhard 1 Brucker, Achim D. 1 Bushnell, David H. 1 Cheon, Yoonsik 1 Chernov, E. S. 1 Claessen, Koen 1 Clifton, Curtis 1 Cok, David R. 1 Demakov, Alexey V. 1 Drusinsky, Doron 1 Duregård, Jonas 1 Engel, Christian 1 Ernits, Juhan 1 Erzberger, Heinz 1 Gaudel, Marie-Claude 1 Giannakopoulou, Dimitra 1 Gladisch, Christoph D. 1 Godefroid, Patrice 1 Godio, Ariel 1 Grieskamp, Wolfgang 1 Hähnle, Reiner 1 Heere, Karen 1 Klarlund, Nils 1 Krishnamurthi, Shriram 1 Kuliamin, Victor V. 1 Lämmel, Ralf 1 Leavens, Gary T. 1 Marinov, Darko 1 Nachmanson, Lev 1 Nelson, Tim 1 Notkin, David 1 Pałka, Michał H. 1 Pollock, Lori L. 1 Ponomarenko, A. V. 1 Ponzio, Pablo 1 Porncharoenwase, Sorawee 1 Rosner, Nicolás 1 Rubanov, V. V. 1 Ruby, Clyde 1 Schumann, Johann M. Ph. 1 Sen, Koushik 1 Shindo, Stacey A. 1 Souter, Amie L. 1 Tillmann, Nikolai 1 Washington, Rich 1 Wolff, Burkhart 1 Wong, Tiffany M. 1 Xie, Tao 1 Zelenov, Sergey V. 1 Zelenova, S. A. 1 Zybin, R. S. all top 5 Cited in 6 Serials 2 Programming and Computer Software 1 Theoretical Computer Science 1 Science of Computer Programming 1 Formal Aspects of Computing 1 Journal of Functional Programming 1 Annals of Mathematics and Artificial Intelligence Cited in 1 Field 22 Computer science (68-XX) Citations by Year