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

Research Output 1991 2018

Filter
Conference contribution
2018

Contract discovery from black-box components

Sharma, V., Byun, T., McCamant, S. A., Rayadurgam, S. & Heimdahl, M., 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

Static analysis
Dynamic analysis
Systems analysis
2017
5 Citations (Scopus)

Architectural modeling and analysis for safety engineering

Stewart, D., Whalen, M. W., Cofer, D. & Heimdahl, M., 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

Safety engineering
Security systems
Safety
Engineering
Braking
1 Citation (Scopus)

Discovering instructions for robust binary-level coverage criteria

Sharma, V. B., Byun, T. J., McCamant, S. A., Rayadurgam, S. & Heimdahl, M., 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

coverage
instruction
ability

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

Planning
Software agents
Decision making
Decomposition

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

Model-based
Requirements
Health care
Software engineering
Pumps
2 Citations (Scopus)

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

Formal Verification
Coverage
Metric
Mutation
Necessary
2 Citations (Scopus)

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

Confidence
Reasoning
Uncertainty
Software System
Eliminate
2 Citations (Scopus)

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

Computer programming languages
Semantics
Control systems
Testing
2016
5 Citations (Scopus)

Complete Traceability for Requirements in Satisfaction Arguments

Murugesan, A., Whalen, M. W., Ghassabani, E. & Heimdahl, M., 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

Traceability
2 Citations (Scopus)

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

Observability
Avionics

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

Testing
Real time systems
Embedded systems
4 Citations (Scopus)

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

Engineering education
Software engineering
Education
engineering
Software design
5 Citations (Scopus)

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

Probability distributions
Visualization
2015
3 Citations (Scopus)

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

Simulators
Costs
4 Citations (Scopus)

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. & 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

Coverage
Engineers
Requirements
Safety-critical Systems
Simulink
1 Citation (Scopus)

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

Embedded software
Scalability
Semantics
Cyber Physical System
6 Citations (Scopus)

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

Normal distribution
Confidence
Beta distribution
Duality
Truncated Distributions
2014
2 Citations (Scopus)

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

Testing
Semantics
Planning
Space applications
NASA

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

3 Citations (Scopus)

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

Acceptance tests
Real time systems
Embedded systems
Sensors
Testing
6 Citations (Scopus)

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

Murugesan, A., Sokolsky, O., Rayadurgam, S., Whalen, M. W., 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

Concretes
Specifications
Cyber Physical System
4 Citations (Scopus)

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

Fault detection
Testing
2 Citations (Scopus)

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

Acceptance tests
Real time systems
Embedded systems
Sensors
Testing
7 Citations (Scopus)

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

Software engineering
Pumps
Testing
Code generation
Cyber Physical System
2013
30 Citations (Scopus)

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

Large scale systems
Decomposition
Chemical analysis
12 Citations (Scopus)

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

Requirements engineering
Cyber Physical System
10 Citations (Scopus)

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

Murugesan, A., Rayadurgam, S. & Heimdahl, M., Dec 1 2013, 2013 5th International Workshop on Modeling in Software Engineering, MiSE 2013 - Proceedings. p. 13-17 5 p. 6595290

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

Large scale systems
Pumps
26 Citations (Scopus)

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

Avionics
Observability
Microwaves
2012
43 Citations (Scopus)

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

Testing
Costs
Experiments
38 Citations (Scopus)

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

Avionics
Test Generation
Coverage
Automation
Random Generation
22 Citations (Scopus)

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

Traceability
Safety
Trace
Query
Requirements
4 Citations (Scopus)

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

Whalen, M. W., Murugesan, A. & Heimdahl, M., 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

Architectural design
Hierarchical systems
Availability
Decomposition
Specifications
2011
14 Citations (Scopus)

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

Testing
Software testing
12 Citations (Scopus)

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

Cyber Physical System
61 Citations (Scopus)

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

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

Testing
Software testing
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

Hardware supported flexible monitoring: Early results

Zhai, A. B., He, G. & Heimdahl, M., Dec 1 2009, Runtime Verification - 9th International Workshop, RV 2009, Selected Papers. p. 168-183 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5779 LNCS).

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

Computer hardware
Hardware
Monitoring
Software
Software engineering
2008
1 Citation (Scopus)

A case for specification validation

Heimdahl, M., Dec 1 2008, Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Revised Selected Papers and Discussions. p. 392-402 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4171 LNCS).

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

Code Generation
Specification
Compilation
Specifications
Paradigm
48 Citations (Scopus)

Distinguished paper: The effect of program and model structure on MC/DC test adequacy coverage

Rajan, A., Whalen, M. W. & Heimdahl, M., Dec 15 2008, ICSE'08: Proceedings of the 30th International Conference on Software Engineering 2008. p. 161-170 10 p. (Proceedings - International Conference on Software Engineering).

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

Avionics
Model structures
16 Citations (Scopus)

On MC/DC and implementation structure: An empirical study

Heimdahl, M., Whalen, M. W. & Rajan, A., Dec 1 2008, 2008 IEEE/AIAA 27th Digital Avionics Systems Conference, DASC 2008. (AIAA/IEEE Digital Avionics Systems Conference - Proceedings).

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

Avionics
Display devices
Testing
16 Citations (Scopus)

On MC/DC and implementation structure: An empirical study

Heimdahl, M. PE., Whalen, M. W., Rajan, A. & Staats, M., 2008, Digital Avionics Systems Conference, 2008. DASC 2008. IEEE/AIAA 27th. p. 5-B

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

17 Citations (Scopus)

Partial translation verification for untrusted code-generators

Staats, M. & Heimdahl, M., Dec 8 2008, Formal Methods and Software Engineering - 10th International Conference on Formal Engineering Methods, ICFEM 2008, Proceedings. p. 226-237 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5256 LNCS).

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

Temporal logic
Generator
Partial
Correctness
Simulink
1 Citation (Scopus)

ReqsCov: A tool for measuring test-adequacy over requirements

Staats, M., Deng, W., Rajan, A., Heimdahl, M. & Woodham, K., Nov 21 2008, ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings. p. 499-500 2 p. 4639383. (ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings).

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

Temporal logic
Inspection
11 Citations (Scopus)

Requirements coverage as an adequacy measure for conformance testing

Rajan, A., Whalen, M. W., Staats, M. & Heimdahl, M., Dec 9 2008, Formal Methods and Software Engineering - 10th International Conference on Formal Engineering Methods, ICFEM 2008, Proceedings. p. 86-104 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5256 LNCS).

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

Conformance Testing
Coverage
Requirements
Testing
Model
2007
24 Citations (Scopus)

Behavioral fault modeling for model-based safety analysis

Joshi, A. & Heimdahl, M. P. E., Dec 1 2007, Proceedings - 10th IEEE International Symposium on High Assurance Systems Engineering, HASE 2007. p. 199-208 10 p. 4404742. (Proceedings of IEEE International Symposium on High Assurance Systems Engineering).

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

Failure modes
Chemical analysis
15 Citations (Scopus)

Flexible and extensible notations for modeling languages

Gao, J., Heimdahl, M. & Van Wyk, E., Dec 20 2007, Fundamental Approaches to Software Engineering - 10th International Conference, FASE 2007. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Proceedings. p. 102-116 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4422 LNCS).

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

Modeling Language
Notation
Formal methods
Attribute Grammars
Availability
8 Citations (Scopus)

Model validation using automatically generated requirements-based tests

Rajan, A., Whalen, M. W. & Heimdahl, M., Dec 1 2007, Proceedings - 10th IEEE International Symposium on High Assurance Systems Engineering, HASE 2007. p. 95-104 10 p. 4404731. (Proceedings of IEEE International Symposium on High Assurance Systems Engineering).

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

Avionics
Testing
37 Citations (Scopus)

Safety and software intensive systems: Challenges old and new

Heimdahl, M., Oct 2 2007, FoSE 2007: Future of Software Engineering. p. 137-152 16 p. 4221617. (FoSE 2007: Future of Software Engineering).

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

Security systems
Productivity
Testing
Code generation
2006
60 Citations (Scopus)

Coverage metrics for requirements-based testing

Whalen, M. W., Heimdahl, M. P. E., Rajan, A. & Miller, S. R., 2006, Proceedings of the 2006 International Symposium on Software Testing and Analysis, ISSTA 2006. p. 25-35 11 p. (Proceedings of the 2006 International Symposium on Software Testing and Analysis, ISSTA 2006; vol. 2006).

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

Black-box testing
Avionics
Testing
13 Citations (Scopus)

Interaction testing in model-based development: Effect on model-coverage

Bryce, R. C., Rajan, A. & Heimdahl, M., Dec 1 2006, Proceedings - APSEC 2006: Asia-Pacific Software Engineering Conference. p. 259-265 7 p. 4137426. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC).

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

Testing
Avionics
Software engineering
Automation
Experiments