7766 search results - page 226 / 1554 » Testing Nondeterminate Systems |
171
Voted
ASPLOS
2012
ACM
14 years 1 months ago
2012
ACM
Processor emulators are widely used to provide isolation and instrumentation of binary software. However they have proved difficult to implement correctly: processor specificati...
257
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
In order to enable extensibility, modern query optimizers typically leverage a transformation rule based framework. Testing individual rule correctness as well as correctness of r...
177
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
Some software defects trigger failures only when certain complex information flows occur within the software. Profiling and analyzing such flows therefore provides a potentially i...
148
click to vote
HICSS
2008
IEEE
16 years 18 days ago
2008
IEEE
A service-oriented architecture enables composite applications that support business processes to be defined and built dynamically from loosely coupled and interoperable web servi...
144
click to vote
ICST
2008
IEEE
16 years 17 days ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...