Using contracts to guide the search-based verification of concurrent programs

Using contracts to guide the search-based verification of concurrent programs

Search-based techniques can be used to identify whether a concurrent program exhibits faults such as race conditions, deadlocks, and starvation: a fitness function is used to guide the search to a region of the program’s state space in which these concurrency faults are more likely occur. In this sh...

Full description

Saved in:
Bibliographic Details
Main Authors: POSKITT, Christopher M., POULDING, Simon
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2013
Subjects:
Model Check
Metaheuristic Algorithm
Concurrent Program
Race Condition
Java Modeling Language
Theory and Algorithms
Online Access:https://ink.library.smu.edu.sg/sis_research/4914
https://ink.library.smu.edu.sg/context/sis_research/article/5917/viewcontent/PoskittPoulding.SSBSE.2013.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English
id sg-smu-ink.sis_research-5917
record_format dspace
spelling sg-smu-ink.sis_research-59172020-02-13T07:01:20Z Using contracts to guide the search-based verification of concurrent programs POSKITT, Christopher M. POULDING, Simon Search-based techniques can be used to identify whether a concurrent program exhibits faults such as race conditions, deadlocks, and starvation: a fitness function is used to guide the search to a region of the program’s state space in which these concurrency faults are more likely occur. In this short paper, we propose that contracts specified by the developer as part of the program’s implementation could be used to provide additional guidance to the search. We sketch an example of how contracts might be used in this way, and outline our plans for investigating this verification approach. 2013-08-01T07:00:00Z text application/pdf https://ink.library.smu.edu.sg/sis_research/4914 info:doi/10.1007/978-3-642-39742-4_22 https://ink.library.smu.edu.sg/context/sis_research/article/5917/viewcontent/PoskittPoulding.SSBSE.2013.pdf http://creativecommons.org/licenses/by-nc-nd/4.0/ Research Collection School Of Computing and Information Systems eng Institutional Knowledge at Singapore Management University Model Check Metaheuristic Algorithm Concurrent Program Race Condition Java Modeling Language Theory and Algorithms
institution Singapore Management University
building SMU Libraries
continent Asia
country Singapore
Singapore
content_provider SMU Libraries
collection InK@SMU
language English
topic Model Check
Metaheuristic Algorithm
Concurrent Program
Race Condition
Java Modeling Language
Theory and Algorithms
spellingShingle Model Check
Metaheuristic Algorithm
Concurrent Program
Race Condition
Java Modeling Language
Theory and Algorithms
POSKITT, Christopher M.
POULDING, Simon
Using contracts to guide the search-based verification of concurrent programs
description Search-based techniques can be used to identify whether a concurrent program exhibits faults such as race conditions, deadlocks, and starvation: a fitness function is used to guide the search to a region of the program’s state space in which these concurrency faults are more likely occur. In this short paper, we propose that contracts specified by the developer as part of the program’s implementation could be used to provide additional guidance to the search. We sketch an example of how contracts might be used in this way, and outline our plans for investigating this verification approach.
format text
author POSKITT, Christopher M.
POULDING, Simon
author_facet POSKITT, Christopher M.
POULDING, Simon
author_sort POSKITT, Christopher M.
title Using contracts to guide the search-based verification of concurrent programs
title_short Using contracts to guide the search-based verification of concurrent programs
title_full Using contracts to guide the search-based verification of concurrent programs
title_fullStr Using contracts to guide the search-based verification of concurrent programs
title_full_unstemmed Using contracts to guide the search-based verification of concurrent programs
title_sort using contracts to guide the search-based verification of concurrent programs
publisher Institutional Knowledge at Singapore Management University
publishDate 2013
url https://ink.library.smu.edu.sg/sis_research/4914
https://ink.library.smu.edu.sg/context/sis_research/article/5917/viewcontent/PoskittPoulding.SSBSE.2013.pdf
_version_ 1770575093893693440

Similar Items