Funder
España Ministerio de Ciencia e Innovación
Australian Research Council
Federación Española de Enfermedades Raras
Ministerio de Ciencia e Innovación
Comunidad de Madrid
Subject
Hardware and Architecture,Information Systems,Software
Reference32 articles.
1. Optimal dynamic partial order reduction;Abdulla,2014
2. Optimal stateless model checking for reads-from equivalence under sequential consistency;Abdulla;Proc. ACM Program. Lang.,2019
3. Optimal stateless model checking under the release-acquire semantics;Abdulla;Proc. ACM Program. Lang.,2018
4. Context sensitive dynamic partial order reduction;Albert,2017
5. Albert, E., de la Banda, M.G., Gómez-Zamalloa, M., Isabel, M., Stuckey, P.J., 2019. Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers. In: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis 2019 (ISSTA’19). pp. 352–362. http://dx.doi.org/10.1145/3293882.3330565.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献