Sciweavers

15777 search results - page 236 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
170
Voted
CADE
1997
Springer
15 years 11 months ago
SETHEO Goes Software Engineering: Application of ATP to Software Reuse
Bernd Fischer 0002, Johann Schumann
173
Voted
ICSE
2004
IEEE-ACM
16 years 7 months ago
Testing Object Oriented Software
Mauro Pezzè, Michal Young