Mutation testing for temporal alloy models
A Jovanovic, A Sullivan - 2023 ACM/IEEE 26th International …, 2023 - ieeexplore.ieee.org
Writing declarative models has numerous benefits, ranging from automated reasoning and
correction of design-level properties before systems are built, to automated testing and …
correction of design-level properties before systems are built, to automated testing and …
Mutation Testing for Temporal Alloy Models
A Jovanovic, A Sullivan - … ACM/IEEE 26th International Conference on …, 2023 - computer.org
Writing declarative models has numerous benefits, ranging from automated reasoning and
correction of design-level properties before systems are built, to automated testing and …
correction of design-level properties before systems are built, to automated testing and …
[PDF][PDF] Mutation Testing for Temporal Alloy Models
A Jovanovic, A Sullivan - scopelabuta.github.io
Writing declarative models has numerous benefits, ranging from automated reasoning and
correction of designlevel properties before systems are built, to automated testing and …
correction of designlevel properties before systems are built, to automated testing and …
[PDF][PDF] Mutation Testing for Temporal Alloy Models
A Jovanovic, A Sullivan - allisonius.github.io
Writing declarative models has numerous benefits, ranging from automated reasoning and
correction of designlevel properties before systems are built, to automated testing and …
correction of designlevel properties before systems are built, to automated testing and …