Author:
Leungwattanakit Watcharin,Artho Cyrille,Hagiya Masami,Tanabe Yoshinori,Yamamoto Mitsuharu,Takahashi Koichi
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. JPF: From 2003 to 2023;Lecture Notes in Computer Science;2024
2. Validating δ-Currency Using Model Checking;Data Science and Network Engineering;2023-11-03
3. jpf-logic;ACM SIGSOFT Software Engineering Notes;2023-01-10
4. Reproducible execution of POSIX programs with DiOS;Software and Systems Modeling;2020-10-23
5. A feedback-directed method of evolutionary test data generation for parallel programs;Information and Software Technology;2020-08