Towards Testing Concurrent Objects in CLP (Q5398047)
From MaRDI portal
scientific article; zbMATH DE number 6261531
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Towards Testing Concurrent Objects in CLP |
scientific article; zbMATH DE number 6261531 |
Statements
25 February 2014
0 references
testing
0 references
glass-box test data generation
0 references
active objects
0 references
symbolic execution
0 references
Towards Testing Concurrent Objects in CLP (English)
0 references
