659 search results - page 21 / 132 » Automatic Testing of Object-Oriented Software |
143
Voted
FORTE
2004
15 years 6 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
129
click to vote
ISSRE
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
153
click to vote
SEKE
2004
Springer
15 years 10 months ago
2004
Springer
We present an approach for mapping an OWL ontology into Java. The basic idea is to create a set of Java interfaces and classes from an OWL ontology such that an instance of a Java ...
165
Voted
ISSRE
2002
IEEE
15 years 10 months ago
2002
IEEE
116
Voted
SAC
2004
ACM
15 years 10 months ago
2004
ACM
There is still no standardization of software measures and metrics extraction tools have to be updated frequently to handle the changes. A possible solution is represented by usin...