Proceedings of the 19th international conference on Parallel architectures and compilation techniques
Symbolic modular deadlock analysis
Automated Software Engineering
MagicFuzzer: scalable deadlock detection for large-scale applications
Proceedings of the 34th International Conference on Software Engineering
Hi-index | 0.00 |
Temporal specifications can describe the legal call sequences of API libraries. With these specifications, verification tools can find defects in existing clients automatically. However, temporal specifications are often not provided due to the high ...