skip to main content
10.1145/1810295.1810407acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
research-article

Constraint solving techniques for software testing and analysis

Published: 01 May 2010 Publication History

Abstract

Software testing and analysis are very important research topics in software engineering. We are interested in improving the accuracy of analysis, as well as automation of test generation. In particular, we have been working on the automatic generation of small Orthogonal Arrays which can be used for combinatorial testing, and the computation of path execution frequency for a program path. The basic idea is to reduce the original problems to constraint satisfaction problems and develop effective constraint solving techniques for solving the problems.

References

[1]
R. Black. Pragmatic Software Testing. Wiley, 2007.
[2]
R. P. L. Buse and W. R. Weimer. The road not taken: Estimating path execution frequency statically. ICSE, pages 144--153, 2009.
[3]
N. Eén and N. Sorensson. The MiniSat Page. Available at http://www.cs.chalmers.se/Cs/Research/FormalMethods/MiniSat/.
[4]
B. W. Kernighan and D. M. Ritchie. The C Programming Language. Englewood Cliffs, NJ: Prentice-Hall, 1978.
[5]
R. Krishnan, S. M. Krishna, and P. S. Nandhan. Combinatorial testing: Learnings from our experience. ACM SIGSOFT Softw. Eng. Notes, 32(3):1--8, 2007.
[6]
D. R. Kuhn, D. R. Wallace, and J. A. J. Gallo. Software fault interactions and implications for software testing. IEEE Trans. on Software Engineering, 30(6):418--421, June 2004.
[7]
F. Ma, S. Liu, and J. Zhang. Volume computation for boolean combinations of linear arithmetic constraints. Proc. of CADE 2009, LNCS, pages 453--468.
[8]
F. Ma and J. Zhang. Finding orthogonal arrays using satisfiability checkers and symmetry breaking constraints. Proc. of PRICAI 2008, LNCS, pages 247--259.
[9]
B. Robert, J. Prowse, and M. S. Phadke. Robust Testing of AT&T PMX/Star MAIL using OATS. AT&T Technical Journal, 71(3):41--47, 1992.
[10]
R. Snepvangers. Statistical Designs for High-Throughput Experimentation. Technical report, Stan Ackermans Institute, August 2006.
[11]
J. Zhang. Quantitative analysis of symbolic execution. presented at COMPSAC 2004.

Cited By

View all
  • (2017)Constrained Interaction Testing: A Systematic Literature StudyIEEE Access10.1109/ACCESS.2017.27715625(25706-25730)Online publication date: 2017

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
ICSE '10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
May 2010
554 pages
ISBN:9781605587196
DOI:10.1145/1810295
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 2010

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article

Funding Sources

Conference

ICSE '10
Sponsor:

Acceptance Rates

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

Upcoming Conference

ICSE 2025

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)5
  • Downloads (Last 6 weeks)2
Reflects downloads up to 17 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2017)Constrained Interaction Testing: A Systematic Literature StudyIEEE Access10.1109/ACCESS.2017.27715625(25706-25730)Online publication date: 2017

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media