Nina Elisabeth Holt

Learn More
In the context of safety-critical software development, one important step in ensuring safe behavior is conformance testing checking compliance between expected behavior and implementation. Round-trip path testing (RTP) is one example of conformance testing. Another essential step, however, is sneak-path testing, that is testing of how software reacts to(More)
Keywords: State-based testing UML Cost effectiveness Automated testing Empirical evaluation Industrial case study a b s t r a c t Context: Test models describe the expected behavior of the software under test and provide the basis for test case and oracle generation. When test models are expressed as UML state machines, this is typically referred to as(More)
  • 1