Sciweavers

4299 search results - page 122 / 860
» Concurrent Test Generation
Sort
View
125
Voted
CORR
2011
Springer
160views Education» more  CORR 2011»
14 years 11 months ago
Search-based software test data generation using evolutionary computation
P. Maragathavalli
256
Voted
NFM
2011
366views Formal Methods» more  NFM 2011»
14 years 11 months ago
Automated Test Case Generation with SMT-Solving and Abstract Interpretation
Jan Peleska, Elena Vorobev, Florian Lapschies
SPE
2011
14 years 11 months ago
Grammar-based test generation with YouGen
Daniel Hoffman, David Ly-Gagnon, Paul A. Strooper,...
ESOP
2012
Springer
14 years 9 days ago
Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce
Abstract. MapReduce, being inspired by the map and reduce primitives available in many functional languages, is the de facto standard for large scale data-intensive parallel progra...
Kento Emoto, Sebastian Fischer, Zhenjiang Hu