Generating effective tests for concurrent programs via AI automated planning techniques

Razavi, Niloofar; Farzan, Azadeh; McIlraith, Sheila A.

doi:10.1007/s10009-013-0277-y

Search citation statements

Order By: Relevance

Paper Sections

Select...

Formal Methods Based Testing2

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2013

2021

Publication Types

Select...

Other3

Article2

Book1

Relationship

Self Cite0

Independent6

Authors

Journals

Cited by 7 publications

(2 citation statements)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Aim to assists in testing support, researchers have explored the application of formal methods [62,63,64,65,66,67,41,68,69,70,43,71,72,73,74]. Table A.14 shown the empirical studies conducted on these approaches.…”

Section: Formal Methods Based Testingmentioning

confidence: 99%

See 1 more Smart Citation

Um framework para avaliação sistemática de técnicas de teste no contexto de programação concorrente

Melo¹

View full text Add to dashboard Cite

show abstract

Section: Formal Methods Based Testingmentioning

confidence: 99%

“…• AI automated planning techniques to the formal development of the encoding for a subset of synchronization primitives [62] can successfully predict feasible runs for most run selection criteria and predict a run for most of the violation patterns.…”

Section: Formal Methods Based Testingmentioning

confidence: 99%