Sophisticated Testing of Concurrent Programs
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F10%3APU89590" target="_blank" >RIV/00216305:26230/10:PU89590 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Sophisticated Testing of Concurrent Programs
Original language description
<div>Search-based techniques were successfully applied to many different areas of</div><div>testing but according to our knowledge there are no works that applies</div><div>search-based techniques to testing of concurrent software, yet. </div><div>This PhD paper describes plans and already achieved preliminary results with</div><div>applying search-based techniques to testing of concurrent software. In</div><div>particular, we plan to combine noise injection techniques for testing of</div><div>concurrent software, various concurrency coverage measures, and several dynamic</div><div>analyses with search-based optimization techniques. </div>
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2010
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
SSBSE '10
ISBN
978-0-7695-4195-2
ISSN
—
e-ISSN
—
Number of pages
5
Pages from-to
—
Publisher name
Institute of Electrical and Electronics Engineers
Place of publication
Benevento
Event location
Benevento
Event date
Sep 7, 2010
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—