290 search results - page 5 / 58 » Using a Software Testing Technique to Improve Theorem Provin... |
181
Voted
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
With the growing complexity of web applications, identifying web interfaces that can be used for testing such applications has become increasingly challenging. Many techniques tha...
162
Voted
ISESE
2006
IEEE
15 years 11 months ago
2006
IEEE
Controlled experiments are a key approach to evaluate and evolve our understanding of software engineering technologies. However, defining and running a controlled experiment is a...
167
Voted
IEEEPACT
2009
IEEE
16 years 14 days ago
2009
IEEE
—Software testing is hard. The emergence of multicore architectures and the proliferation of bugprone multithreaded software makes testing even harder. To this end, researchers h...
139
click to vote
TCAD
2010
15 years 16 days ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
141
click to vote
FOCS
2008
IEEE
16 years 8 days ago
2008
IEEE
We show that the NP-Complete language 3SAT has a PCP verifier that makes two queries to a proof of almost-linear size and achieves sub-constant probability of error o(1). The ver...