76 search results - page 11 / 16 » Using program data-state scarcity to guide automatic test da... |
IADIS
2008
14 years 11 months ago
2008
Programming and developing of small scale software applications can be accomplished with simple command-line compilers that can be used to compile, test, and execute code generati...
SIGSOFT
2000
ACM
15 years 1 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
IDEAS
2005
IEEE
15 years 3 months ago
2005
IEEE
A substantial subset of the web data follows some kind of underlying structure. Nevertheless, HTML does not contain any schema or semantic information about the data it represents...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
ICSM
1994
IEEE
15 years 1 months ago
1994
IEEE
Although data pow analysis was first developed for use in compilers, its usefulness is now recognized in many software tools. Because of its compiler origins, the computation of d...