Personal information
No personal information available
Activities
Education and qualifications (1)
1996-09-06
to
2005-03-10
|
PhD
(Computer Science)
Education
Source:
Michael Whalen
Works (6)
2023
|
Book chapter
Contributors:
Andrew Apicelli;
Sam Bayless;
Ankush Das;
Andrew Gacek;
Dhiva Jaganathan;
Saswat Padhi;
Vaibhav Sharma;
Michael W. Whalen;
Raveesh Yadav
Source:
check_circle
Crossref
2023
|
Book chapter
Contributors:
Soha Hussein;
Qiuchen Yan;
Stephen McCamant;
Vaibhav Sharma;
Michael W. Whalen
Source:
check_circle
Crossref
2023
|
Book chapter
Contributors:
Dawn Michaelson;
Dominik Schreiber;
Marijn J. H. Heule;
Benjamin Kiesl-Reiter;
Michael W. Whalen
Source:
check_circle
Crossref
2020
|
Book chapter
Contributors:
Vaibhav Sharma;
Soha Hussein;
Michael W. Whalen;
Stephen McCamant;
Willem Visser
Source:
check_circle
Crossref
IEEE Software
2019-11
|
Journal article
Contributors:
John Backes;
Carsten Varming;
Michael Whalen;
Pauline Bolignano;
Byron Cook;
Andrew Gacek;
Kasper Soe Luckow;
Neha Rungta;
Martin Schaef;
Cole Schlesinger
et al.
Source:
check_circle
Crossref
Automated Software Engineering
2018-12
|
Journal article
Contributors:
Lars Grunske;
Mike Whalen
Source:
check_circle
Crossref