The Library
Enforcing concurrent temporal behaviors
Tools
Peled, Doron and Qu, Hongyang (2006) Enforcing concurrent temporal behaviors. In: 2nd International Conference on Automated Technology for Verification and Analysis (ATVA 2004), Taipei, Taiwan, Nov, 2004. Published in: International Journal of Foundations of Computer Science, Vol.17 (No.4). pp. 743-761. doi:10.1142/S012905410600408X ISSN 0129-0541.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://dx.doi.org/10.1142/S012905410600408X
Abstract
The outcome of verifying software is often a 'counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. The verification is usually done using a model of the software (often also using some abstraction to reduce its complexity) rather than the actual code. In order to understand the reason for the failure manifested by such a counterexample, it is sometimes necessary to test such an execution using the actual code. In this way we also find out whether we have a genuine error or a "false negative". Due to nondeterminism in concurrent code, enforcing a particular behavior of an actual program is not guaranteed even when one starts the execution with the prescribed initial state. Testers axe faced with a similar problem when they have to demonstrate that a suspicious scenario can actually be executed. Such a scenario may involve some intricate scheduling and thus be illusive to demonstrate. We describe here a transformation that allows us to repeat a selected execution sequences of concurrent code. Since the transformation implies changes to the original code, we strive to minimize its effect on the original program.
Item Type: | Conference Item (Paper) | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Journal or Publication Title: | International Journal of Foundations of Computer Science | ||||
Publisher: | World Scientific Publishing Co. Pte. Ltd. | ||||
ISSN: | 0129-0541 | ||||
Official Date: | August 2006 | ||||
Dates: |
|
||||
Volume: | Vol.17 | ||||
Number: | No.4 | ||||
Number of Pages: | 19 | ||||
Page Range: | pp. 743-761 | ||||
DOI: | 10.1142/S012905410600408X | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Access rights to Published version: | Restricted or Subscription Access | ||||
Funder: | University of Texas at Austin Prime National Science Foundation | ||||
Grant number: | Grant CCR-0205483, Subcontract UTA03-031 | ||||
Conference Paper Type: | Paper | ||||
Title of Event: | 2nd International Conference on Automated Technology for Verification and Analysis (ATVA 2004) | ||||
Type of Event: | Conference | ||||
Location of Event: | Taipei, Taiwan | ||||
Date(s) of Event: | Nov, 2004 |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |