659 search results - page 21 / 132 » Automatic Testing of Object-Oriented Software |
FORTE
2004
13 years 9 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...
ISSRE
2008
IEEE
14 years 2 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...
SEKE
2004
Springer
14 years 28 days 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 ...
ISSRE
2002
IEEE
14 years 15 days ago
2002
IEEE
SAC
2004
ACM
14 years 1 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...