Sciweavers

612 search results - page 35 / 123
» Using Static Analysis to Improve Automatic Test Generation
Sort
View
GECCO
2006
Springer
119views Optimization» more  GECCO 2006»
14 years 4 days ago
Mixed-integer optimization of coronary vessel image analysis using evolution strategies
In this paper we compare Mixed-Integer Evolution Strategies (MI-ES) and standard Evolution Strategies (ES) when applied to find optimal solutions for artificial test problems and ...
Rui Li, Michael Emmerich, Jeroen Eggermont, Ernst ...
LREC
2010
144views Education» more  LREC 2010»
13 years 10 months ago
Towards an Improved Methodology for Automated Readability Prediction
Since the first half of the 20th century, readability formulas have been widely employed to automatically predict the readability of an unseen text. In this article, the formulas ...
Philip van Oosten, Dries Tanghe, Véronique ...
BIS
2009
154views Business» more  BIS 2009»
13 years 9 months ago
Using Process Mining to Generate Accurate and Interactive Business Process Maps
Abstract. The quality of today's digital maps is very high. This allows for new functionality as illustrated by modern car navigation systems (e.g., TomTom, Garmin, etc.), Goo...
Wil M. P. van der Aalst
FLAIRS
2006
13 years 10 months ago
Explicating Semantic Relations in Non-Monotonic Theories to Facilitate Validation Analysis
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
Neli Zlatareva
SIGSOFT
2009
ACM
14 years 3 months ago
MSeqGen: object-oriented unit-test generation via mining source code
An objective of unit testing is to achieve high structural coverage of the code under test. Achieving high structural coverage of object-oriented code requires desirable method-ca...
Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, J...