Ranking programs using black box testing.

Koen Claessen John Hughes Michal H. Palka Nicholas Smallbone Hans Svensson

Published in: AST (2010)

Keyphrases

black box
test cases
white box
integration testing
white box testing
black boxes
software testing
symbolic execution
learning to rank
state transition
hybrid systems
rule extraction
ranking algorithm
case study
web search
link analysis
test generation
ranking functions
database
unit testing
information retrieval