Michael W Whalen

View Scopus Profile

Michael W Whalen

PhD

Accepting PhD Students

PhD projects

AMASE: Model based safety analysis
ARCHER: Compositional verification of systems-of-systems
SNOW CRASH: White box fuzz testing

19972021

Research activity per year

Filter
Conference contribution

Search results

  • 2021

    Composition of Fault Forests

    Stewart, D., Whalen, M., Heimdahl, M., Liu, J. & Cofer, D., Aug 25 2021, Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, Proceedings. Habli, I., Sujan, M. & Bitsch, F. (eds.). Springer Science and Business Media Deutschland GmbH, p. 258-275 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12852 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations
  • 2020

    Java Ranger: Statically summarizing regions for efficient symbolic execution of Java

    Sharma, V., Hussein, S., Whalen, M. W., McCamant, S. & Visser, W., Nov 8 2020, ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Devanbu, P., Cohen, M. & Zimmermann, T. (eds.). Association for Computing Machinery, Inc, p. 123-134 12 p. (ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    18 Scopus citations

  • Java Ranger at SV-COMP 2020 (Competition Contribution)

    Sharma, V., Hussein, S., Whalen, M. W., McCamant, S. & Visser, W., 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Springer, p. 393-397 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    10 Scopus citations
  • 2018

    Online enumeration of all minimal inductive validity cores

    Bendík, J., Ghassabani, E., Whalen, M. & Černá, I., Jan 1 2018, Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Proceedings. Johnsen, E. B. & Schaefer, I. (eds.). Springer- Verlag, p. 189-204 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10886 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    9 Scopus citations

  • The JKind model checker

    Gacek, A., Backes, J., Whalen, M., Wagner, L. & Ghassabani, E., Jan 1 2018, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Weissenbacher, G. & Chockler, H. (eds.). Springer- Verlag, p. 20-27 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10982 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    37 Scopus citations

  • Validity-guided synthesis of reactive systems from assume-guarantee contracts

    Katis, A., Fedyukovich, G., Guo, H., Gacek, A., Backes, J., Gurfinkel, A. & Whalen, M. W., Jan 1 2018, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Beyer, D. & Huisman, M. (eds.). Springer- Verlag, p. 176-193 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10806 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    19 Scopus citations
  • 2017

    Architectural modeling and analysis for safety engineering

    Stewart, D., Whalen, M. W., Cofer, D. & Heimdahl, M. P. E., 2017, Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Proceedings. Bozzano, M. & Papadopoulos, Y. (eds.). Springer Verlag, p. 97-111 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10437 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    18 Scopus citations

  • Efficient generation of all minimal inductive validity cores

    Ghassabani, E., Whalen, M. & Gacek, A., Nov 8 2017, Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, FMCAD 2017. Weissenbacher, G. & Stewart, D. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 31-38 8 p. 8102238. (Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, FMCAD 2017).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    17 Scopus citations

  • From requirements to code: Model based development of a medical cyber physical system

    Murugesan, A., Heimdahl, M. P. E., Whalen, M. W., Rayadurgam, S., Komp, J., Duan, L., Kim, B. G., Sokolsky, O. & Lee, I., 2017, Software Engineering in Health Care - 4th International Symposium, FHIES 2014 and 6th International Workshop, SEHC 2014, Revised Selected Papers. Huhn, M. & Williams, L. (eds.). Springer Verlag, p. 96-112 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9062 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • Proof-based coverage metrics for formal verification

    Ghassabani, E., Gacek, A., Whalen, M. W., Heimdahl, M. & Wagner, L., Nov 20 2017, ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering. Nguyen, T. N., Rosu, G. & Di Penta, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 194-199 6 p. 8115632. (ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    14 Scopus citations
  • 2016

    Complete Traceability for Requirements in Satisfaction Arguments

    Murugesan, A., Whalen, M. W., Ghassabani, E. & Heimdahl, M. P. E., Dec 2 2016, Proceedings - 2016 IEEE 24th International Requirements Engineering Conference, RE 2016. Institute of Electrical and Electronics Engineers Inc., p. 359-364 6 p. 7765544. (Proceedings - 2016 IEEE 24th International Requirements Engineering Conference, RE 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    13 Scopus citations

  • Efficient generation of inductive validity cores for safety properties

    Ghassabani, E., Gacek, A. & Whalen, M. W., Nov 1 2016, FSE 2016 - Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. Su, Z., Zimmermann, T. & Cleland-Huang, J. (eds.). Association for Computing Machinery, p. 314-325 12 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; vol. 13-18-November-2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    22 Scopus citations

  • Efficient observability-based test generation by dynamic symbolic execution

    You, D., Rayadurgam, S., Whalen, M. W., Heimdahl, M. & Gay, G., Jan 13 2016, 2015 IEEE 26th International Symposium on Software Reliability Engineering, ISSRE 2015. Institute of Electrical and Electronics Engineers Inc., p. 228-238 11 p. 7381816. (2015 IEEE 26th International Symposium on Software Reliability Engineering, ISSRE 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    5 Scopus citations

  • Formally verified run time assurance architecture of a 6U cubesat attitude control system

    Gross, K. H., Clark, M. A., Hoffman, J. A., Fifarek, A. W., Rattan, K. S., Swenson, E. D., Whalen, M. W. & Wagner, L., Jan 1 2016, AIAA Infotech @ Aerospace Conference. American Institute of Aeronautics and Astronautics Inc. (AIAA), (AIAA Infotech @ Aerospace Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • Machine-checked proofs for realizability checking algorithms

    Katis, A., Gacek, A. & Whalen, M. W., Jan 1 2016, Verified Software: Theories, Tools, and Experiments - 7th International Conference, VSTTE 2015, Revised Selected Papers. Seshia, S. A. & Gurfinkel, A. (eds.). Springer- Verlag, p. 110-123 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9593).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • On implementing real-time specification patterns using observers

    Backes, J. D., Whalen, M. W., Gacek, A. & Komp, J., Jan 1 2016, NASA Formal Methods - 8th International Symposium, NFM 2016, Proceedings. Tkachuk, O. & Rayadurgam, S. (eds.). Springer- Verlag, p. 19-33 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9690).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations

  • Towards synthesis from assume-guarantee contracts involving infinite theories: A preliminary report

    Katis, A., Gacek, A. & Whalen, M. W., May 14 2016, Proceedings - 4th FME Workshop on Formal Methods in Software Engineering, FormaliSE 2016. Association for Computing Machinery, Inc, p. 36-41 6 p. (Proceedings - 4th FME Workshop on Formal Methods in Software Engineering, FormaliSE 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    3 Scopus citations
  • 2015

    A flexible and non-intrusive approach for computing complex structural coverage metrics

    Whalen, M. W., Person, S., Rungta, N., Staats, M. & Grijincu, D., Aug 12 2015, Proceedings - 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, ICSE 2015. IEEE Computer Society, p. 506-516 11 p. 7194601. (Proceedings - International Conference on Software Engineering; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    9 Scopus citations

  • Are we there yet? Determining the adequacy of formalized requirements and test suites

    Murugesan, A., Whalen, M. W., Rungta, N., Tkachuk, O., Person, S., Heimdahl, M. P. E. & You, D., 2015, NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Springer Verlag, p. 279-294 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9058).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Scopus citations

  • Evaluation of formal methods tools applied to a 6U CubeSat attitude control system

    Gross, K. H., Hoffman, J. A., Clark, M., Swenson, E. D., Cobb, R. G., Whalen, M. W. & Wagner, L., Jan 1 2015, AIAA SPACE 2015 Conference and Exposition. American Institute of Aeronautics and Astronautics Inc. (AIAA), (AIAA SPACE 2015 Conference and Exposition).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Scopus citations

  • Hierarchical multi-formalism proofs of cyber-physical systems

    Whalen, M. W., Rayadurgam, S., Ghassabani, E., Murugesan, A., Sokolsky, O., Heimdahl, M. & Lee, I., Nov 30 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015. Institute of Electrical and Electronics Engineers Inc., p. 90-95 6 p. 7340474. (2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    3 Scopus citations

  • Requirements analysis of a quad-redundant flight control system

    Backes, J., Cofer, D., Miller, S. & Whalen, M. W., Jan 1 2015, NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Springer- Verlag, p. 82-96 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9058).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    24 Scopus citations

  • Towards realizability checking of contracts using theories

    Gacek, A., Katis, A., Whalen, M. W., Backes, J. & Cofer, D., Jan 1 2015, NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Springer- Verlag, p. 173-187 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9058).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    24 Scopus citations
  • 2014

    Analysis and testing of PLEXIL plans

    Biatek, J., Whalen, M. W., Heimdahl, M., Rayadurgam, S. & Lowry, M. R., Jun 3 2014, 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014 - Proceedings. Association for Computing Machinery, p. 52-58 7 p. (2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Exploring the twin peaks using probabilistic verification techniques

    Murugesan, A., Rayadurgam, S., Feng, L., Whalen, M. W., Heimdahl, M. P. E. & Lee, I., Jun 1 2014, 4th International Workshop on the Twin Peaks of Requirements and Architecture, TwinPeaks 2014 - Proceedings. Association for Computing Machinery, p. 18-23 6 p. (4th International Workshop on the Twin Peaks of Requirements and Architecture, TwinPeaks 2014 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Helping system engineers bridge the peaks

    Rungta, N., Tkachuk, O., Person, S., Biatek, J., Whalen, M. W., Castle, J. & Gundy-Burlet, K., 2014, Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture. p. 9-13 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety

    Murugesan, A., Sokolsky, O., Rayadurgam, S., Whalen, M., Heimdahl, M. & Lee, I., 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014. IEEE Computer Society, p. 139-150 12 p. 6843718. (2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    12 Scopus citations

  • Moving the goalposts: Coverage satisfaction is not enough

    Gay, G., Staats, M., Whalen, M. W. & Heimdahl, M., Jun 2 2014, 7th International Workshop on Search-Based Software Testing, SBST 2014 - Proceedings. Association for Computing Machinery, p. 19-22 4 p. (7th International Workshop on Search-Based Software Testing, SBST 2014 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    8 Scopus citations

  • Resolute: An assurance case language for architecture models

    Gacek, A., Backes, J., Cofer, D., Slind, K., Collins, R. & Whalen, M., Oct 18 2014, HILT 2014 - Proceedings of the ACM Conference on High Integrity Language Technology. Association for Computing Machinery, Inc, p. 19-27 9 p. (HILT 2014 - Proceedings of the ACM Conference on High Integrity Language Technology).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    62 Scopus citations

  • Structuring Simulink models for verification and reuse

    Whalen, M. W., Murugesan, A., Rayadurgam, S. & Heimdahl, M. P. E., Jun 2 2014, 6th International Workshop on Modeling in Software Engineering, MiSE 2014 - Proceedings. Association for Computing Machinery, p. 19-24 6 p. (6th International Workshop on Modeling in Software Engineering, MiSE 2014 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    19 Scopus citations
  • 2013

    An improved unrolling-based decision procedure for algebraic data types

    Pham, T. H. & Whalen, M. W., 2013, Verified Software: Theories, Tools, Experiments - 5th International Conference, VSTTE 2013, Revised Selected Papers. Rybalchenko, A., Rybalchenko, A. & Cohen, E. (eds.). Springer- Verlag, p. 129-148 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8164).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations

  • Compositional verification of a medical device system

    Murugesan, A., Whalen, M. W., Rayadurgam, S. & Heimdahl, M. P. E., 2013, HILT 2013 - Proceedings of the ACM Conference on High Integrity Language Technology. p. 51-64 14 p. (HILT 2013 - Proceedings of the ACM Conference on High Integrity Language Technology).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    45 Scopus citations

  • Observable modified condition/decision coverage

    Whalen, M. W., Gay, G., You, D., Heimdahl, M. & Staats, M., 2013, 2013 35th International Conference on Software Engineering, ICSE 2013 - Proceedings. p. 102-111 10 p. 6606556. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    44 Scopus citations

  • RADA: A tool for reasoning about algebraic data types with abstractions

    Pham, T.-H. & Whalen, M. W., 2013, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering. p. 611-614 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    7 Scopus citations

  • Up and out: scaling formal analysis using model-based development and architecture modeling

    Whalen, M. W., 2013, ACM SIGAda Ada Letters. Vol. 33. p. 41-42 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2012

    A DSL for cross-domain security

    Hardin, D. S., Slind, K. L., Whalen, M. W. & Pham, T.-H., 2012, ACM SIGAda Ada Letters. Vol. 32. p. 53-62 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Compositional verification of architectural models

    Cofer, D., Gacek, A., Miller, S. P., Whalen, M. W., LaValley, B. & Sha, L., 2012, NASA Formal Methods Symposium. p. 126-140 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    96 Scopus citations

  • Improving symbolic execution for statechart formalisms

    Balasubramanian, D., Corina, P., Whalen, M. W., Karasi, G. & Lowry, M. R., 2012, Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation. p. 47-52 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Scopus citations

  • Incremental verification with mode variable invariants in state machines

    Kahsai, T., Garoche, P. L., Tinelli, C. & Whalen, M., Apr 11 2012, NASA Formal Methods - 4th International Symposium, NFM 2012, Proceedings. p. 388-402 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7226 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Scopus citations

  • Integrating statechart components in polyglot

    Balasubramanian, D., S, P. C., Biatek, J., Pressburger, T., Karsai, G., Lowry, M. R. & Whalen, M. W., 2012, NASA Formal Methods Symposium. p. 267-272 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • On the danger of coverage directed test case generation

    Staats, M., Gay, G., Whalen, M. W. & Heimdahl, M., 2012, Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings. p. 409-424 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7212 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    54 Scopus citations

  • The Guardol language and verification system

    Hardin, D., Slind, K., Whalen, M. & Pham, T. H., Apr 9 2012, Tools and Algorithms for the Construction and Analysis of Systems - 18th Int. Conf., TACAS 2012, Held as Part of the European Joint Conf. on Theory and Practice of Software, ETAPS 2012, Proceedings. p. 18-32 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7214 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    7 Scopus citations

  • Your what is my how: Why requirements and architectural design should be iterative

    Whalen, M. W., Murugesan, A. & Heimdahl, M. P. E., 2012, 2012 1st IEEE International Workshop on the Twin Peaks of Requirements and Architecture, TwinPeaks 2012 - Proceedings. p. 36-40 5 p. 6344559. (2012 1st IEEE International Workshop on the Twin Peaks of Requirements and Architecture, TwinPeaks 2012 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    5 Scopus citations
  • 2011

    Better testing through oracle selection (NIER track)

    Staats, M., Whalen, M. W. & Heimdahl, M., 2011, ICSE 2011 - 33rd International Conference on Software Engineering, Proceedings of the Conference. p. 892-895 4 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    20 Scopus citations

  • Introduction to the Guardol programming language and verification system

    Hardin, D., Slind, K., Whalen, M. & Pham, T.-H., 2011, 5th Annual Layered Assurance Workshop (LAW 2011), Orlando, FL, USA.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Polyglot: modeling and analysis for multiple statechart formalisms

    Balasubramanian, D., S, P. C., Whalen, M. W., Karsai, G. & Lowry, M. R., 2011, Proceedings of the 2011 International Symposium on Software Testing and Analysis. p. 45-55 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    30 Scopus citations

  • Programs, tests, and oracles: The foundations of testing revisited

    Staats, M., Whalen, M. W. & Heimdahl, M. P. E., 2011, ICSE 2011 - 33rd International Conference on Software Engineering, Proceedings of the Conference. p. 391-400 10 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    81 Scopus citations
  • 2010

    Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness

    Staats, M., Whalen, M. W., Rajan, A. & Heimdahl, M. P. E., Apr 1 2010, Proceedings of the Second NASA Formal Methods Symposium. NASA

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Fite: future integrated testing environment

    Whalen, M. W., Godefroid, P., Mariani, L., Polini, A., Tillmann, N. & Visser, W., 2010, Proceedings of the FSE/SDP workshop on Future of software engineering research. p. 401-406 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    9 Scopus citations
  • 2009

    Development of security software: A high assurance methodology

    Hardin, D., Hiratzka, T. D., Johnson, D. R., Wagner, L. G. & Whalen, M., 2009, International Conference on Formal Engineering Methods. p. 266-285 20 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    10 Scopus citations