[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering - ICSE '18 - Efficient sampling of SAT solutions for testing
- 作者Dutra, Rafael; Laeufer, Kevin; Bachrach, Jonathan; Sen, Koushik
- 文件大小295.31KB
- 发表时间2018
- DOI10.1145/3180155.3180248
- 页码549-559
同期刊推荐
Uterine torsion in cattleFriedhofer, E. · Veterinary Record · 2005
Diagnostics for Schmallenberg virusPoel, W. H. M. v. d. · Veterinary Record · 2012
Advances in tonometry in companion animalsOliver, J. · Veterinary Record · 2012
Analgesia protocols in donkeysGrint, N.; Murrell, J.; Whay, B.; Taylor, P. · Veterinary Record · 2010
Treating ivermectin toxicity in catsPritchard, J. · Veterinary Record · 2010
Copper toxicosis in Bedlington terriersHaywood, S. · Veterinary Record · 2006
Has horsepox become extinct?Esparza, J. · Veterinary Record · 2013
Schmallenberg virus circulating In ScotlandVeterinary Record · 2013