Sciweavers

1360 search results - page 68 / 272
» The SMART Approach for Software Process Engineering
Sort
View
ASPLOS
2009
ACM
16 years 3 months ago
Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
Martin Dimitrov, Huiyang Zhou
FM
2009
Springer
153views Formal Methods» more  FM 2009»
15 years 26 days ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
APSEC
2002
IEEE
15 years 8 months ago
Embedding XML Processing Toolkit on General Purpose Programming Language
Many methods for XML processing have been proposed in the last few years. One popular approach is to process XML documents by using existing programming languages. Another popular...
Tetsuo Kamina, Tetsuo Tamai
ENTCS
2008
79views more  ENTCS 2008»
15 years 3 months ago
j-POST: a Java Toolchain for Property-Oriented Software Testing
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
Yliès Falcone, Laurent Mounier, Jean-Claude...
BIS
2006
143views Business» more  BIS 2006»
15 years 4 months ago
Cost Estimation for Ontology Development
Techniques for reliably estimating development efforts are a fundamental requirement for a wide-scale dissemination of ontologies in business contexts. In this paper we account fo...
Malgorzata Mochol, Elena Paslaru Bontas Simperl