Sciweavers

21 search results - page 5 / 5
» Extending Business Process Modeling Tools with Workflow Patt...
Sort
View
BIRTHDAY
2003
Springer
14 years 28 days ago
Extreme Model Checking
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...