Conditional dynamic partial order reduction and optimality results
Aktak:
ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis
ISBN: 9781450362245
Argitalpen urtea: 2019
Orrialdeak: 433-437
Mota: Biltzar ekarpena