Test purpose generation in an industrial application
Proceedings of the 3rd international workshop on Advances in model-based testing
Improving Fault-based Conformance Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic Adaptation and Analysis of SIP Headers Using Decision Trees
Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks
Using coverage to automate and improve test purpose based testing
Information and Software Technology
Unifying input output conformance
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Testing techniques in software engineering
Testing techniques in software engineering
UML in action: a two-layered interpretation for testing
ACM SIGSOFT Software Engineering Notes
Abstracting timing information in UML state charts via temporal ordering and LOTOS
Proceedings of the 6th International Workshop on Automation of Software Test
Fault-based generation of test cases from UML-Models: approach and some experiences
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
| Hi-index | 0.00 |
A key challenge for software engineering is to learn how to reconcile the formal world of the machine and its software with the non-formal real world. In this paper, we discuss elements of Problem Oriented Software Engineering (POSE), an approach that ...