Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Behaviour model elaboration using partial labelled transition systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Fluent model checking for event-based systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
Concurrency: State Models And Java Programs
Concurrency: State Models And Java Programs
A comparative survey of scenario-based to state-based model synthesis approaches
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Requirements Engineering
Reconceptualizing a Family of Heterogeneous Embedded Systems via Explicit Architectural Support
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Existential live sequence charts revisited
Proceedings of the 30th international conference on Software engineering
On correct and complete strong merging of partial behaviour models
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Learning operational requirements from goal models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Synthesis of Partial Behavior Models from Properties and Scenarios
IEEE Transactions on Software Engineering
Synthesizing partial component-level behavior models from system specifications
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Synthesizing and utilizing partial behavior models during requirements elicitation
Proceedings of the doctoral symposium for ESEC/FSE on Doctoral symposium
An architecture-driven software mobility framework
Journal of Systems and Software
Using dynamic execution traces and program invariants to enhance behavioral model inference
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
| Hi-index | 0.00 |
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining Modal Transition Systems.