Sciweavers

4299 search results - page 122 / 860
» Concurrent Test Generation
Sort
View
114
Voted
CORR
2011
Springer
160views Education» more  CORR 2011»
14 years 10 months ago
Search-based software test data generation using evolutionary computation
P. Maragathavalli
238
Voted
NFM
2011
366views Formal Methods» more  NFM 2011»
14 years 10 months ago
Automated Test Case Generation with SMT-Solving and Abstract Interpretation
Jan Peleska, Elena Vorobev, Florian Lapschies
134
Voted
SPE
2011
14 years 10 months ago
Grammar-based test generation with YouGen
Daniel Hoffman, David Ly-Gagnon, Paul A. Strooper,...
157
Voted
ESOP
2012
Springer
13 years 11 months 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