2774 search results - page 305 / 555 » Query-Driven Program Testing |
124
click to vote
COCOA
2007
Springer
15 years 8 months ago
2007
Springer
The Two-Sided Crossing Minimization (TSCM) problem calls for minimizing the number of edge crossings of a bipartite graph where the two sets of vertices are drawn on two parallel l...
104
click to vote
FROCOS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...
112
click to vote
COMPSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
134
Voted
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
The MISP Processor is a programmable media processor which supports multi-issuing, multi-threading and stream processing techniques. MISP executes applications that have been mapp...
115
click to vote
MSR
2006
ACM
15 years 8 months ago
2006
ACM
Refactorings are program transformations which should preserve the program behavior. Consequently, we expect that during phases when there are mostly refactorings in the change hi...