279 search results - page 13 / 56 » Abstraction and refinement techniques in automated design de... |
ICSE
2008
IEEE-ACM
15 years 9 months ago
2008
IEEE-ACM
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...
116
click to vote
ICST
2011
IEEE
14 years 1 months ago
2011
IEEE
—Developers have used data structure repair over the last few decades as an effective means to recover on-the-fly from errors in program state. Traditional repair techniques wer...
103
Voted
ENTCS
2006
14 years 9 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
SQJ
2002
14 years 9 months ago
2002
Abstract. The work of Voas and colleagues has introduced, refined and applied the propagation, infection and execution (PIE) analysis technique for measuring testability of program...
100
Voted
ATAL
2005
Springer
14 years 11 months ago
2005
Springer
A constrained agent is limited in the actions that it can take at any given time, and a challenging problem is to design policies for such agents to do the best they can despite t...