Heuristic-guided counterexample search in FLAVERS
- 期刊名称ACM SIGSOFT Software Engineering Notes
- 作者Tan, Jianbin; Avrunin, George S.; Clarke, Lori A.; Zilberstein, Shlomo; Leue, Stefan
- 卷第29卷
- 期第6期
- 印刷ISSN0163-5948
- 文件大小286.95KB
- 发表时间2004-11-01
- DOI10.1145/1041685.1029922
Annual helipad survey1985
The outlying hospital helipadJim Sineath · 1985
Development of an urban helipad facilityDouglas Donaldson; Richard Illingworth · 1986
Third helipad survey1987
Helipad design & EquipmentRüttinger, Dominik; Hatz, Rudolf A.; Jauch, Karl-Walter; Fox, Bernard A. · Journal of Air Medical Transport · 1991
1990 helipad surveyCollett, Howard M. · 1990
Helipad delivery successful for Hahnemann's MedEvac1988
Helipad will allow faster accessNursing Standard · 2012
Book reviewsDodd, Clement H.; Sanjian, Ara; Toksoz, Mina; Shankland, David; Yapp, M.E.; Cronin, Stephanie; Ginat, Rami; Bengio, Ofra; Sagiv, David; Lochery, Neill · Middle Eastern Studies · 2000
Tuple transformationGinat, David · ACM Inroads · 2013
Longest sum modulo-3Ginat, David · ACM Inroads · 2014
On varying perspectives of problem decompositionGinat, David · ACM SIGCSE Bulletin · 2002
Separating between foesGinat, David · ACM SIGCSE Bulletin · 2008
Colorful challengesGinat, David · ACM SIGCSE Bulletin · 2008
Colorful ChallengesGinat, David · ACM SIGCSE Bulletin · 2009
Colorful challengesGinat, David · ACM SIGCSE Bulletin · 2010
Teaching software engineering through game designClaypool, Kajal; Claypool, Mark · ACM SIGCSE Bulletin · 2005
Teaching students to hackLogan, Patricia Y.; Clarkson, Allen · ACM SIGCSE Bulletin · 2005
Using puzzles in teaching algorithmsLevitin, Anany; Papalaskari, Mary-Angela · ACM SIGCSE Bulletin · 2002
The CSedRes toolboxAlmstrum, Vicki L.; Wu, Cheng-Chih · ACM SIGCSE Bulletin · 1993
Introducing recursion by parking carsWirth, Michael · ACM SIGCSE Bulletin · 2008
Programming by choiceMaloney, John H.; Peppler, Kylie; Kafai, Yasmin; Resnick, Mitchel; Rusk, Natalie · ACM SIGCSE Bulletin · 2008
Guiding students through programming puzzlesRoss, John Minor · ACM SIGCSE Bulletin · 2002
Kinesthetic learning in the classroomBegel, Andrew; Garcia, Daniel D.; Wolfman, Steven A. · ACM SIGCSE Bulletin · 2004