10715 search results - page 313 / 2143 » Proofs from Tests |
125
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. One of the fastest evolving field among teaching and learning research is students' performance evaluation. Computer based testing systems are increasingly adopted b...
180
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This paper addresses one of the main challenges of simulation based verification (or...
178
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
140
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
This paper discusses the use of instant messaging (IM) as a communication tool during usability studies ? primarily between the interview and observation rooms. The benefits and c...
173
click to vote
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
Test-Driven Development (TDD) is an agile practice that is widely accepted and advocated by most agile methods and methodologists. In this paper, we report on a post hoc analysis ...