659 search results - page 21 / 132 » Automatic Testing of Object-Oriented Software |
80
Voted
FORTE
2004
14 years 11 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
15 years 3 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
15 years 2 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 ...
ISSRE
2002
IEEE
15 years 2 months ago
2002
IEEE
SAC
2004
ACM
15 years 2 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...