The Center for Education and Research in Information Assurance and Security (CERIAS)

The Center for Education and Research in
Information Assurance and Security (CERIAS)
Center for Education and Research in Information Assurance and Security

Integrating Model Checking and Test Generation for Reliable and Secure Concurrent Programs

Author

Tang, Mathur

Tech report number

CERIAS TR 2009-25

Entry type

article

Abstract

A method for testing concurrent programs is introduced. The proposed method combines the power of dynamic model checking with test generation via program mutation. Dynamic model checking is not reliable without an adequate test set, while naive test generation of concurrent programs is insufficient, due to the possibility of many interleavings. A combination of the two processes could reduce the weaknesses in each process.

Date

2008 – 4 – 1

Key alpha

Mathur

School

Purdue University

Publication Date

2008-04-01

Location

A hard-copy of this is in the Papers Cabinet

BibTex-formatted data

To refer to this entry, you may select and copy the text below and paste it into your BibTex document. Note that the text may not contain all macros that BibTex supports.