Article

CUTE and jCUTE: concolic unit testing and explicit path model-checking tools

Authors:

Koushik Sen,

Gul AghaAuthors Info & Claims

CAV'06: Proceedings of the 18th international conference on Computer Aided Verification

Pages 419 - 423

https://doi.org/10.1007/11817963_38

Published: 17 August 2006 Publication History

Abstract

CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUTE combines concrete and symbolic execution in a way that avoids redundant test cases as well as false warnings. The tool also introduces a race-flipping technique to efficiently test and model check concurrent programs with data inputs.

References

[1]

P. Godefroid, N. Klarlund, and K. Sen. DART: Directed automated random testing. In Proc. of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (PLDI), 2005.

Digital Library

Google Scholar

[2]

lp_solve. http://groups.yahoo.com/group/lp_solve/.

Google Scholar

[3]

G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer. CIL: Intermediate Language and Tools for Analysis and transformation of C Programs. In Proceedings of Conference on compiler Construction, pages 213-228, 2002.

Digital Library

Google Scholar

[4]

K. Sen and G. Agha. Automated systematic testing of open distributed programs. In Fundamental Approaches to Software Engineering (FASE'06), volume 3922 of LNCS, pages 339-356. Springer, 2006.

Digital Library

Google Scholar

[5]

K. Sen and G. Agha. Concolic testing of multithreaded programs and its application to testing security protocols. Technical Report UIUCDCS-R-2006-2676, UIUC, 2006.

Google Scholar

[6]

K. Sen, D. Marinov, and G. Agha. CUTE: A concolic unit testing engine for C. In 5th meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE). ACM, 2005.

Digital Library

Google Scholar

[7]

SGLIB. http://xref-tech.com/sglib/main.html.

Google Scholar

[8]

R. Vallee-Rai, L. Hendren, V. Sundaresan, P. Lam, E. Gagnon, and P. Co. Soot - a Java optimization framework. In Proceedings of CASCON 1999, pages 125-135.

Digital Library

Google Scholar

Cited By

View all

Yi QYu YYang G(2024)Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug FindingProceedings of the ACM on Programming Languages10.1145/36564438:PLDI(1633-1655)Online publication date: 20-Jun-2024
https://dl.acm.org/doi/10.1145/3656443
Witharana HJayasena AMishra P(2024)Incremental Concolic Testing of Register-Transfer Level DesignsACM Transactions on Design Automation of Electronic Systems10.1145/365562129:3(1-23)Online publication date: 3-May-2024
https://dl.acm.org/doi/10.1145/3655621
Haltermann JWehrheim H(2024)Exchanging information in cooperative software validationSoftware and Systems Modeling (SoSyM)10.1007/s10270-024-01155-323:3(695-719)Online publication date: 1-Jun-2024
https://dl.acm.org/doi/10.1007/s10270-024-01155-3
Show More Cited By

Recommendations

CUTE: a concolic unit testing engine for C

In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry function may contain pointer arguments, in which case the inputs to the unit ...
CUTE: a concolic unit testing engine for C
ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering

In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry function may contain pointer arguments, in which case the inputs to the unit ...
CUTE: C++ unit testing easier
OOPSLA '07: Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion

This article describes the design and use of the CUTE C++ testing framework and its integration into the Eclipse C++ Development Tooling.

Unit testing supports code quality and is a corner stone of agile software development. CUTE and its Eclipse plug-...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

CAV'06: Proceedings of the 18th international conference on Computer Aided Verification

August 2006

563 pages

ISBN:354037406X

Editors:
Thomas Ball
Microsoft Research, Redmond, WA,
,
Robert B. Jones
Intel Corporation, RA2-459, 2501 W. 229th Avenue, Hillsboro, OR,

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 17 August 2006

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

142
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 18 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Yi QYu YYang G(2024)Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug FindingProceedings of the ACM on Programming Languages10.1145/36564438:PLDI(1633-1655)Online publication date: 20-Jun-2024
https://dl.acm.org/doi/10.1145/3656443
Witharana HJayasena AMishra P(2024)Incremental Concolic Testing of Register-Transfer Level DesignsACM Transactions on Design Automation of Electronic Systems10.1145/365562129:3(1-23)Online publication date: 3-May-2024
https://dl.acm.org/doi/10.1145/3655621
Haltermann JWehrheim H(2024)Exchanging information in cooperative software validationSoftware and Systems Modeling (SoSyM)10.1007/s10270-024-01155-323:3(695-719)Online publication date: 1-Jun-2024
https://dl.acm.org/doi/10.1007/s10270-024-01155-3
Pick LDesai AGupta A(2023)Psym: Efficient Symbolic Exploration of Distributed SystemsProceedings of the ACM on Programming Languages10.1145/35912477:PLDI(660-685)Online publication date: 6-Jun-2023
https://dl.acm.org/doi/10.1145/3591247
Smaragdakis YGrech NLagouvardos STriantafyllou KTsatiris I(2021)Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contractsProceedings of the ACM on Programming Languages10.1145/34855405:OOPSLA(1-30)Online publication date: 15-Oct-2021
https://dl.acm.org/doi/10.1145/3485540
Zhou ZBenson TCanini MChandrasekaran B(2021)TardisProceedings of the ACM SIGCOMM Symposium on SDN Research (SOSR)10.1145/3482898.3483355(108-121)Online publication date: 11-Oct-2021
https://dl.acm.org/doi/10.1145/3482898.3483355
Godboley SJaffar JMaghareh RDutta ACadar CZhang X(2021)Toward optimal mc/dc test case generationProceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3460319.3464841(505-516)Online publication date: 11-Jul-2021
https://dl.acm.org/doi/10.1145/3460319.3464841
Luo SXu HBi YWang XZhou YCadar CZhang X(2021)Boosting symbolic execution via constraint solving time prediction (experience paper)Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3460319.3464813(336-347)Online publication date: 11-Jul-2021
https://dl.acm.org/doi/10.1145/3460319.3464813
Sun XGupta RZhou HMoreira JMueller FEtsion Y(2021)DSGENProceedings of the 35th ACM International Conference on Supercomputing10.1145/3447818.3460962(75-87)Online publication date: 3-Jun-2021
https://dl.acm.org/doi/10.1145/3447818.3460962
Bu LLiang YXie ZQian HHu YYu YChen XLi X(2021)Machine learning steered symbolic execution framework for complex software codeFormal Aspects of Computing10.1007/s00165-021-00538-333:3(301-323)Online publication date: 1-Jun-2021
https://dl.acm.org/doi/10.1007/s00165-021-00538-3
Show More Cited By

View Options

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

Recommendations

CUTE: a concolic unit testing engine for C

CUTE: a concolic unit testing engine for C

CUTE: C++ unit testing easier