1991 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

2019

Requirements reference models revisited: Accommodating hierarchy in system design

Murugesan, A., Rayadurgam, S. & Heimdahl, M., Sep 2019, Proceedings - 2019 IEEE 27th International Requirements Engineering Conference, RE 2019. Damian, D., Perini, A. & Lee, S-W. (eds.). IEEE Computer Society, p. 177-186 10 p. 8920675. (Proceedings of the IEEE International Conference on Requirements Engineering; vol. 2019-September).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations
2018

Contract discovery from black-box components

Sharma, V., Byun, T., McCamant, S., Rayadurgam, S. & Heimdahl, M. P. E., Nov 9 2018, WASPI 2018 - Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, Co-located with FSE 2018. Honavar, V., Nguyen, T. N., Leavens, G. T., Dyer, R., Rajan, H. & Nguyen, H. A. (eds.). Association for Computing Machinery, Inc, p. 5-8 4 p. (WASPI 2018 - Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, Co-located with FSE 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2017

Architectural modeling and analysis for safety engineering

Stewart, D., Whalen, M. W., Cofer, D. & Heimdahl, M. P. E., Jan 1 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 proceedingConference contribution

6 Scopus citations

Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors

Gay, G., Rayadurgam, S. & Heimdahl, M. P. E., Jun 1 2017, In : IEEE Transactions on Software Engineering. 43, 6, p. 531-555 25 p.

Research output: Contribution to journalArticle

Open Access
2 Scopus citations

Discovering instructions for robust binary-level coverage criteria

Sharma, V., Byun, T., McCamant, S., Rayadurgam, S. & Heimdahl, M. P. E., Jul 13 2017, TECPS 2017 - Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems, co-located with ISSTA 2017. Yu, T. & Marinov, D. (eds.). Association for Computing Machinery, Inc, p. 1-4 4 p. (TECPS 2017 - Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems, co-located with ISSTA 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Domain modeling for development process simulation

De Silva, I. J., Rayadurgam, S. & Heimdahl, M., Jul 5 2017, ICSSP 2017 - Proceedings of the 2017 International Conference on Software and System Process. Bendraou, R., Maggi, F. M., Raffo, D. & LiGuo, H. (eds.). Association for Computing Machinery, p. 95-99 5 p. (ACM International Conference Proceeding Series; vol. Part F128767).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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., Jan 1 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 proceedingConference contribution

1 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 proceedingConference contribution

3 Scopus citations

Reasoning about confidence and uncertainty in assurance cases: A survey

Duan, L., Rayadurgam, S., Heimdahl, M. P. E., Ayoub, A., Sokolsky, O. & Lee, I., Jan 1 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. 64-80 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 proceedingConference contribution

3 Scopus citations

Toward Rigorous Object-Code Coverage Criteria

Byun, T. J., Sharma, V. B., Rayadurgam, S., McCamant, S. A. & Heimdahl, M., Nov 14 2017, Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering, ISSRE 2017. IEEE Computer Society, p. 328-338 11 p. 8109098. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2017-October).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 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 proceedingConference contribution

5 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 proceedingConference contribution

2 Scopus citations

Executing model-based tests on platform-specific implementations

You, D., Rayadurgam, S., Heimdahl, M., Komp, J., Kim, B. & Sokolsky, O., Jan 4 2016, Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015. Institute of Electrical and Electronics Engineers Inc., p. 418-428 11 p. 7372030. (Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

First steps towards exporting education: Software engineering education delivered online to professionals

Wendt, K. D., Reily, K. & Heimdahl, M., May 19 2016, Proceedings - 2016 IEEE 29th Conference on Software Engineering Education and Training, CSEEandT 2016. Institute of Electrical and Electronics Engineers Inc., p. 241-245 5 p. 7474491. (Proceedings - 2016 IEEE 29th Conference on Software Engineering Education and Training, CSEEandT 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

Representation of Confidence in Assurance Cases Using the Beta Distribution

Duan, L., Rayadurgam, S., Heimdahl, M., Sokolsky, O. & Lee, I., Mar 1 2016, Proceedings - 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016. Babiceanu, R., Waeselynck, H., Xu, J., Paul, R. A. & Cukic, B. (eds.). IEEE Computer Society, p. 86-93 8 p. 7423138. (Proceedings of IEEE International Symposium on High Assurance Systems Engineering; vol. 2016-March).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Scopus citations
15 Scopus citations
2015

A reference model for simulating agile processes

De Silva, I. J., Rayadurgam, S. & Heimdahl, M., Aug 24 2015, 2015 International Conference on Software and Systems Process, ICSSP 2015 - Proceedings. Association for Computing Machinery, p. 82-91 10 p. (ACM International Conference Proceeding Series; vol. 24-26-August-2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 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., Jan 1 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 proceedingConference contribution

4 Scopus citations

Automated Oracle Data Selection Support

Gay, G., Staats, M., Whalen, M. & Heimdahl, M. P. E., Nov 1 2015, In : IEEE Transactions on Software Engineering. 41, 11, p. 1119-1137 19 p., 7112189.

Research output: Contribution to journalArticle

10 Scopus citations

Design considerations for modeling modes in cyber-physical systems

Murugesan, A., Rayadurgam, S., Whalen, M. W. & Heimdahl, M. P. E., Jan 1 2015, In : IEEE Design and Test. 32, 5, p. 66-73 8 p., 7172459.

Research output: Contribution to journalArticle

2 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 proceedingConference contribution

1 Scopus citations

Representing confidence in assurance case evidence

Duan, L., Rayadurgam, S., Heimdahl, M. P. E., Sokolsky, O. & Lee, I., Jan 1 2015, Computer Safety, Reliability, and Security - AFECOMP 2015 Workshops ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Proceedings. van Gulijk, C. & Koornneef, F. (eds.). Springer- Verlag, p. 15-26 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9338).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations

The risks of coverage-directed test case generation

Gay, G., Staats, M., Whalen, M. & Heimdahl, M. P. E., Aug 1 2015, In : IEEE Transactions on Software Engineering. 41, 8, p. 803-819 17 p., 7081779.

Research output: Contribution to journalArticle

44 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, Inc, p. 52-58 7 p. (2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference 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, Inc, 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 proceedingConference contribution

Improving the accuracy of oracle verdicts through automated model steering

Gay, G., Rayadurgam, S. & Heimdahl, M., Jan 1 2014, ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. Association for Computing Machinery, Inc, p. 527-537 11 p. (ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference 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., Jan 1 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 proceedingConference contribution

7 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, Inc, p. 19-22 4 p. (7th International Workshop on Search-Based Software Testing, SBST 2014 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Steering model-based oracles to admit real program behaviors

Gay, G., Rayadurgam, S. & Heimdahl, M., Jan 1 2014, 36th International Conference on Software Engineering, ICSE Companion 2014 - Proceedings. Association for Computing Machinery, p. 428-431 4 p. (36th International Conference on Software Engineering, ICSE Companion 2014 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 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, Inc, p. 19-24 6 p. (6th International Workshop on Modeling in Software Engineering, MiSE 2014 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Scopus citations
2013

Compositional verification of a medical device system

Murugesan, A., Whalen, M. W., Rayadurgam, S. & Heimdahl, M., Dec 11 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 proceedingConference contribution

31 Scopus citations

Efficient Test Coverage Measurement for MC/DC

Whalen, M. W., Heimdahl, M. P. E. & De Silva, I. J., 2013.

Research output: Working paper

Modeling and requirements on the physical side of cyber-physical systems

Heimdahl, M., Duan, L., Murugesan, A. & Rayadurgam, S., Nov 4 2013, 2013 2nd International Workshop on the Twin Peaks of Requirements and Architecture, TwinPeaks 2013 - Proceedings. p. 1-7 7 p. 6614716

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Scopus citations

Modes, features, and state-based modeling for clarity and flexibility

Murugesan, A., Rayadurgam, S. & Heimdahl, M. P. E., Dec 1 2013, 2013 5th International Workshop on Modeling in Software Engineering, MiSE 2013 - Proceedings. p. 13-17 5 p. 6595290. (ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Scopus citations

Observable modified condition/decision coverage

Whalen, M. W., Gay, G., You, D., Heimdahl, M. & Staats, M., Oct 30 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 proceedingConference contribution

27 Scopus citations

SEHC 2013-5th International Workshop on Software Engineering in Health Care (SEHC)

Knight, J., Kuziemsky, C., Ammenwerth, E., Avrunin, G., Chapman, R., Hatcliff, J., Heimdahl, M., Larson, B., Loques, O., Malin, B., Lee, O., Paech, B., Paul, N., Peyton, L., Podgurski, A., Reiss, J., Sartipi, K., Stroulia, E., Sullivan, K., Weber, J. & 6 others, Weinstock, C., Wassyng, A., Baldassarre, M., Keen, J., McHugh, M. & Williams, J., Oct 15 2013, In : 2013 5th International Workshop on Software Engineering in Health Care, SEHC 2013 - Proceedings. p. iii-iv 6602468.

Research output: Contribution to journalEditorial

Your 'what' is my 'how': Iteration and hierarchy in system design

Whalen, M. W., Gacek, A., Cofer, D., Murugesan, A., Heimdahl, M. & Rayadurgam, S., Jun 28 2013, In : IEEE Software. 30, 2, p. 54-60 7 p., 6359702.

Research output: Contribution to journalArticle

40 Scopus citations
2012

Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing

Staats, M., Gay, G. & Heimdahl, M., Jul 30 2012, Proceedings - 34th International Conference on Software Engineering, ICSE 2012. p. 870-880 11 p. 6227132. (Proceedings - International Conference on Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

44 Scopus citations

Message from the chairs

Sawyer, P., Heimdahl, M., Hayes, J. & Gorschek, T., Dec 12 2012, In : 2012 20th IEEE International Requirements Engineering Conference, RE 2012 - Proceedings. 6345789.

Research output: Contribution to journalEditorial

Message from the chairs

Heimdahl, M. & Su, Z., Aug 28 2012, In : 2012 International Symposium on Software Testing and Analysis, ISSTA 2012 - Proceedings. p. iii

Research output: Contribution to journalEditorial

On the danger of coverage directed test case generation

Staats, M., Gay, G., Whalen, M. W. & Heimdahl, M., Apr 3 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 proceedingConference contribution

41 Scopus citations

Trace queries for safety requirements in high assurance systems

Cleland-Huang, J., Heimdahl, M., Huffman Hayes, J., Lutz, R. & Maeder, P., Mar 21 2012, Requirements Engineering: Foundation for Software Quality - 18th International Working Conference, REFSQ 2012, Proceedings. p. 179-193 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7195 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

23 Scopus citations

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

Whalen, M. W., Murugesan, A. & Heimdahl, M. P. E., Dec 14 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 proceedingConference contribution

4 Scopus citations
2011

Better testing through oracle selection (NIER track)

Staats, M., Whalen, M. W. & Heimdahl, M., Jul 7 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 proceedingConference contribution

14 Scopus citations

Challenges in the regulatory approval of medical cyber-physical systems

Sokolsky, O., Lee, I. & Heimdahl, M., Nov 9 2011, Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11. p. 227-232 6 p. (Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Scopus citations

Guest editorial: Special issue on selected topics in automated software engineering specification mining and defect detection

Heimdahl, M. & Taentzer, G., Dec 1 2011, In : Automated Software Engineering. 18, 3-4, p. 225-226 2 p.

Research output: Contribution to journalEditorial

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

Staats, M., Whalen, M. W. & Heimdahl, M. P. E., Jul 7 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 proceedingConference contribution

61 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 proceedingConference contribution

2009

A Software Certification Consortium and its Top 9 Hurdles

Hatcliff, J., Heimdahl, M., Lawford, M., Maibaum, T., Wassyng, A. & Wurden, F., Sep 28 2009, In : Electronic Notes in Theoretical Computer Science. 238, 4, p. 11-17 7 p.

Research output: Contribution to journalArticle

8 Scopus citations
1 Scopus citations