1722 search results - page 107 / 345 » Generating Tests from Counterexamples |
151
click to vote
SIGSOFT
2010
ACM
15 years 14 days ago
2010
ACM
This article proposes a research agenda aimed at enabling optimized testing and analysis processes and tools to support component-based software development communities. We hypoth...
115
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: The size and magnitude of the metabolome, the ratio between individual metabolites and the response of metabolic networks is controlled by multiple cellular factors. A...
92
Voted
ICECCS
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
108
Voted
ITS
2010
Springer
15 years 7 months ago
2010
Springer
This paper presents a novel Automatic Question Generation (AQG) approach that generates trigger questions as a form of support for students’ learning through writing. The approac...
139
Voted
ICSE
2009
IEEE-ACM
15 years 9 months ago
2009
IEEE-ACM
In every application domain, achieving interoperability among heterogenous information systems is a crucial challenge and alliances are formed to standardize data-exchange formats...