Sciweavers

15779 search results - page 11 / 3156
» Change-oriented software engineering
Sort
View
92
Voted
DAGSTUHL
2010
15 years 1 months ago
Libraries
Roman Dementiev, Johannes Singler
96
Voted
FOSSACS
2010
Springer
15 years 1 months ago
Model Checking Is Static Analysis of Modal Logic
Flemming Nielson, Hanne Riis Nielson
84
Voted
ICFEM
2010
Springer
15 years 1 months ago
Practical Parameterised Session Types
Andi Bejleri
77
Voted
ICST
2010
IEEE
15 years 1 months ago
MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code
Milos Gligoric, Vilas Jagannath, Darko Marinov