Sciweavers

4299 search results - page 20 / 860

» Concurrent Test Generation

72

AIPS
2004

63views Artificial Intelligence» more AIPS 2004»

Policy Generation for Continuous-time Stochastic Domains with Concurrency

15 years 1 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 »

65

SIGSOFT
2008
ACM

104views Software Engineering» more SIGSOFT 2008»

Generation of concurrency control code using discrete-event systems theory

14 years 11 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 »

74

TCS
2008

104views Theoretical Computer Science» more TCS 2008»

Automatic generation of path conditions for concurrent timed systems

14 years 11 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 »

85

ACJ
2004

85views more ACJ 2004»

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

14 years 11 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 »

86

ASPLOS
2010
ACM

268views Programming Languages» more ASPLOS 2010»

A randomized scheduler with probabilistic guarantees of finding bugs

15 years 6 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 »