6149 search results - page 642 / 1230 » Revealing the programming process |
209
Voted
ICST
2009
IEEE
15 years 5 months ago
2009
IEEE
This paper reports an empirical evaluation of four blackbox testing techniques for crashing programs through their GUI interface: SH, AF, DH, and BxT. The techniques vary in their...
235
Voted
BMCBI
2010
15 years 4 months ago
2010
Background: Expression levels for 47294 transcripts in lymphoblastoid cell lines from all 270 HapMap phase II individuals, and genotypes (both HapMap phase II and III) of 3.96 mil...
209
click to vote
AOSD
2011
ACM
15 years 2 months ago
2011
ACM
Block joinpoints allow programmers to explicitly mark regions of base code as “to be advised”, thus avoiding the need to extract the block into a method just for the sake of c...
360
click to vote
CADE
2011
Springer
14 years 7 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
203
Voted
CCS
2011
ACM
14 years 7 months ago
2011
ACM
We empirically analyzed sanitizer use in a shipping web application with over 400,000 lines of code and over 23,244 methods, the largest empirical analysis of sanitizer use of whi...