1134 search results - page 42 / 227 » Composing Tests from Examples |
100
click to vote
TAP
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
IPPS
2003
IEEE
15 years 4 months ago
2003
IEEE
A problem that has been getting prominence in testing is that of looking for intermittent bugs. Multi-threaded code is becoming very common, mostly on the server side. As there is...
BPM
2005
Springer
15 years 4 months ago
2005
Springer
Most information systems log events (e.g., transaction logs, audit trails) to audit and monitor the processes they support. At the same time, many of these processes have been expl...
71
Voted
KBSE
2007
IEEE
15 years 5 months ago
2007
IEEE
The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. How...
NIPS
1998
1998
Probabilistic Modeling for Face Orientation Discrimination: Learning from Labeled and Unlabeled Data
15 years 12 days ago
This paper presents probabilistic modeling methods to solve the problem of discriminating between five facial orientations with very little labeled data. Three models are explored...