Sciweavers

16541 search results - page 427 / 3309
» Ontologies and Software Engineering
Sort
View
SEKE
1992
Springer
15 years 11 months ago
Object-Oriented Programming Testing Methodology
Chi-Ming Chung, Ming-Chi Lee
APL
1990
ACM
15 years 11 months ago
ACORN: APL to C on Real Numbers
Robert Bernecky, Charles Brenner, Stephen B. Jaffe...
AMOST
2007
ACM
15 years 11 months ago
Test purpose generation in an industrial application
Bernhard K. Aichernig, Martin Weiglhofer, Bernhard...
AMOST
2007
ACM
15 years 11 months ago
Relating counterexamples to test cases in CTL model checking specifications
Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordo...