Sciweavers

22698 search results - page 5 / 4540
» Modeling in Software Engineering
Sort
View
VMCAI
2004
Springer
15 years 12 months ago
Static Analysis versus Software Model Checking for Bug Finding
Dawson R. Engler, Madanlal Musuvathi
139
Voted
ICSM
2002
IEEE
15 years 11 months ago
Behavioural Concern Modelling for Software Change Tasks
Albert Lai, Gail C. Murphy