Sciweavers

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