2419 search results - page 398 / 484 » A Formal Approach to Software Testing |
215
Voted
LPAR
2010
Springer
15 years 15 days ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
115
click to vote
ICCS
2009
Springer
15 years 9 months ago
2009
Springer
A vast amount of documents in the Web have duplicates, which is a challenge for developing efficient methods that would compute clusters of similar documents. In this paper we use ...
85
Voted
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
This study investigates automatic regular expression generation using Grammatical Evolution. The software implementation is based on a subset of POSIX regular expression rules. Fo...
108
Voted
ICDCSW
2006
IEEE
15 years 8 months ago
2006
IEEE
Software systems need to adapt as requirements change, environment conditions vary, and bugs are discovered and fixed. In context of verification of these adaptive systems, the ...
110
Voted
VL
1996
IEEE
15 years 6 months ago
1996
IEEE
Despite years of research into human computer interaction (HCI), the environments programmers must use for problem-solving today--with separate modes and tools for writing, compil...