Article

Korat: A Tool for Generating Structurally Complex Test Inputs

Authors:

Aleksandar Milicevic,

Sasa Misailovic,

Darko Marinov,

Sarfraz KhurshidAuthors Info & Claims

ICSE '07: Proceedings of the 29th international conference on Software Engineering

Pages 771 - 774

https://doi.org/10.1109/ICSE.2007.48

Published: 24 May 2007 Publication History

Get Access

Abstract

This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that speci fies the desired structural integrity constraints and (2) a finitization that bounds the desired test input size. Korat generates all inputs (within the bounds) for which the predicate returns true. To do so, Korat performs a systematic search of the predicate's input space. The inputs that Korat generates enable bounded-exhaustive testing for programs ranging from library classes to stand-alone applications.

References

[1]

{1} C. Boyapati, S. Khurshid, and D. Marinov. Korat: Automated testing based on Java predicates. In Proc. International Symposium on Software Testing and Analysis (ISSTA), July 2002.

Digital Library

Google Scholar

[2]

{2} S. Chiba. Javassist--a reflection-based programming wizard for Java. In Proceedings of the ACM OOPSLA'98 Workshop on Reflective Programming in C++ and Java, Oct. 1998.

Google Scholar

[3]

{3} M. Dahm. Byte code engineering library. http://bcel. sourceforge.net/.

Google Scholar

[4]

{4} D. Jackson. Software Abstractions: Logic, Language and Analysis. The MIT Press, Cambridge, MA, 2006.

Digital Library

Google Scholar

[5]

{5} B. Liskov and J. Guttag. Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison-Wesley, 2000.

Digital Library

Google Scholar

[6]

{6} D. Marinov. Automatic Testing of Software with Structurally Complex Inputs. PhD thesis, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, 2004.

Digital Library

Google Scholar

[7]

{7} J. Offutt and R. Untch. Mutation 2000: Uniting the orthogonal. In Mutation 2000: Mutation Testing in the Twentieth and the Twenty First Centuries, San Jose, CA, Oct. 2000.

Google Scholar

Cited By

View all

He YHuang JYu HXie T(2024)An Empirical Study on Focal Methods in Deep-Learning-Based Approaches for Assertion GenerationProceedings of the ACM on Software Engineering10.1145/36607851:FSE(1750-1771)Online publication date: 12-Jul-2024
https://dl.acm.org/doi/10.1145/3660785
Boockmann JLüttgen G(2024)Comprehending Object State via Dynamic Class Invariant LearningFundamental Approaches to Software Engineering10.1007/978-3-031-57259-3_7(143-164)Online publication date: 6-Apr-2024
https://dl.acm.org/doi/10.1007/978-3-031-57259-3_7
Wang WHu YMcMillan KKhurshid SRoychoudhury ACadar CKim M(2022)SymMC: approximate model enumeration and counting using symmetry information for Alloy specificationsProceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3540250.3549161(1209-1220)Online publication date: 7-Nov-2022
https://dl.acm.org/doi/10.1145/3540250.3549161
Show More Cited By

Index Terms

Korat: A Tool for Generating Structurally Complex Test Inputs
1. Social and professional topics
  1. Professional topics
    1. Management of computing and information systems
      1. Software management
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software notations and tools
    1. General programming languages
      1. Language types

Recommendations

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 ...
Korat: automated testing based on Java predicates
ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis

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 ...
Parallel test generation and execution with Korat
ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering

We present novel algorithms for parallel testing of code that takes structurally complex test inputs. The algorithms build on the Korat algorithm for constraint-based generation of structurally complex test inputs. Given an imperative predicate that ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICSE '07: Proceedings of the 29th international conference on Software Engineering

May 2007

784 pages

ISBN:0769528287

Publisher

IEEE Computer Society

United States

Publication History

Published: 24 May 2007

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

22
Total Citations
View Citations
401
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 23 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

He YHuang JYu HXie T(2024)An Empirical Study on Focal Methods in Deep-Learning-Based Approaches for Assertion GenerationProceedings of the ACM on Software Engineering10.1145/36607851:FSE(1750-1771)Online publication date: 12-Jul-2024
https://dl.acm.org/doi/10.1145/3660785
Boockmann JLüttgen G(2024)Comprehending Object State via Dynamic Class Invariant LearningFundamental Approaches to Software Engineering10.1007/978-3-031-57259-3_7(143-164)Online publication date: 6-Apr-2024
https://dl.acm.org/doi/10.1007/978-3-031-57259-3_7
Wang WHu YMcMillan KKhurshid SRoychoudhury ACadar CKim M(2022)SymMC: approximate model enumeration and counting using symmetry information for Alloy specificationsProceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3540250.3549161(1209-1220)Online publication date: 7-Nov-2022
https://dl.acm.org/doi/10.1145/3540250.3549161
Dinella ERyan GMytkowicz TLahiri SDwyer MDamian DZeller A(2022)TOGAProceedings of the 44th International Conference on Software Engineering10.1145/3510003.3510141(2130-2141)Online publication date: 21-May-2022
https://dl.acm.org/doi/10.1145/3510003.3510141
Fragoso Santos JMaksimović PSampaio GGardner P(2019)JaVerT 2.0: compositional symbolic execution for JavaScriptProceedings of the ACM on Programming Languages10.1145/32903793:POPL(1-31)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1145/3290379
Santos JMaksimović PGrohens TDolby JGardner PSabel DThiemann P(2018)Symbolic Execution for JavaScriptProceedings of the 20th International Symposium on Principles and Practice of Declarative Programming10.1145/3236950.3236956(1-14)Online publication date: 3-Sep-2018
https://dl.acm.org/doi/10.1145/3236950.3236956
Semeráth ONagy AVarró DChaudron MCrnkovic IChechik MHarman M(2018)A graph solver for the automated generation of consistent domain-specific modelsProceedings of the 40th International Conference on Software Engineering10.1145/3180155.3180186(969-980)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3180155.3180186
Holmes JGroce APinto JMittal PAzimi PKellar KO'brien J(2018)TSTLInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-016-0445-y20:1(57-78)Online publication date: 1-Feb-2018
https://dl.acm.org/doi/10.1007/s10009-016-0445-y
Celik APai SKhurshid SGligoric M(2017)Bounded exhaustive test-input generation on GPUsProceedings of the ACM on Programming Languages10.1145/31339181:OOPSLA(1-25)Online publication date: 12-Oct-2017
https://dl.acm.org/doi/10.1145/3133918
Groce APinto JAzimi PMittal PYoung MXie T(2015)TSTL: a language and tool for testing (demo)Proceedings of the 2015 International Symposium on Software Testing and Analysis10.1145/2771783.2784769(414-417)Online publication date: 13-Jul-2015
https://dl.acm.org/doi/10.1145/2771783.2784769
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Korat: automated testing based on Java predicates

Korat: automated testing based on Java predicates

Parallel test generation and execution with Korat