Abstract
No abstract available.
Cited By
- Larraz D, Viswanathan A, Tinelli C and Laurent M (2023). Beyond model checking of idealized Lustre in Kind 2, ACM SIGAda Ada Letters, 42:2, (40-44), Online publication date: 5-Apr-2023.
- Larraz D and Tinelli C (2023). Finding Locally Smallest Cut Sets using Max-SMT, ACM SIGAda Ada Letters, 42:2, (32-39), Online publication date: 5-Apr-2023.
- Zhu J and Wei J An empirical study of multiple names and email addresses in OSS version control repositories Proceedings of the 16th International Conference on Mining Software Repositories, (409-420)
Index Terms
- Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering
Recommendations
Acceptance Rates
Overall Acceptance Rate 17 of 128 submissions, 13%
Year | Submitted | Accepted | Rate |
---|---|---|---|
SIGSOFT '02/FSE-10 | 128 | 17 | 13% |
Overall | 128 | 17 | 13% |