Sciweavers

4299 search results - page 20 / 860

» Concurrent Test Generation

22

AIPS
2004

63views Artificial Intelligence» more AIPS 2004»

Policy Generation for Continuous-time Stochastic Domains with Concurrency

13 years 9 months ago

Policy Generation for Continuous-time Stochastic Domains with Concurrency

Download www.tempastic.org

Håkan L. S. Younes, Reid G. Simmons

claim paper

Read More »

20

SIGSOFT
2008
ACM

104views Software Engineering» more SIGSOFT 2008»

Generation of concurrency control code using discrete-event systems theory

13 years 8 months ago

Generation of concurrency control code using discrete-event systems theory

Download se.ethz.ch

Christopher Dragert, Jürgen Dingel, Karen Rud...

claim paper

Read More »

21

TCS
2008

104views Theoretical Computer Science» more TCS 2008»

Automatic generation of path conditions for concurrent timed systems

13 years 8 months ago

Automatic generation of path conditions for concurrent timed systems

Download www-verimag.imag.fr

Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros...

claim paper

Read More »

31

ACJ
2004

85views more ACJ 2004»

Generating Reduced Finite State Machine from Concurrent Scenarios Using Static Partial Order Method

13 years 8 months ago

Generating Reduced Finite State Machine from Concurrent Scenarios Using Static Partial Order Method

Download www.acs.org.au

Nam Hee Lee, Sung Deok Cha

claim paper

Read More »

25

ASPLOS
2010
ACM

268views Programming Languages» more ASPLOS 2010»

A randomized scheduler with probabilistic guarantees of finding bugs

14 years 3 months ago

A randomized scheduler with probabilistic guarantees of finding bugs

Download research.microsoft.com

This paper presents a randomized scheduler for ﬁnding concurrency bugs. Like current stress-testing methods, it repeatedly runs a given test program with supplied inputs. Howeve...

Sebastian Burckhardt, Pravesh Kothari, Madanlal Mu...

claim paper

Read More »

« Prev « First page 20 / 860 Last » Next »