Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
Latest Publications

TOTAL DOCUMENTS

158
(FIVE YEARS 158)

H-INDEX

1
(FIVE YEARS 1)

Published By ACM

9781450367684
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Multiplex symbolic execution

2020 ◽  
Author(s):  
Yufeng Zhang ◽  
Zhenbang Chen ◽  
Ziqi Shuai ◽  
Tianqi Zhang ◽  
Kenli Li ◽  
...  
Keyword(s):  
Symbolic Execution

AirMochi

2020 ◽  
Author(s):  
Nikola Lukić ◽  
Saghar Talebipour ◽  
Nenad Medvidović

Zeror

2020 ◽  
Author(s):  
Chijin Zhou ◽  
Mingzhe Wang ◽  
Jie Liang ◽  
Zhe Liu ◽  
Yu Jiang

Sosed

2020 ◽  
Author(s):  
Egor Bogomolov ◽  
Yaroslav Golubev ◽  
Artyom Lobanov ◽  
Vladimir Kovalenko ◽  
Timofey Bryksin

SADT

2020 ◽  
Author(s):  
Lili Quan ◽  
Qianyu Guo ◽  
Hongxu Chen ◽  
Xiaofei Xie ◽  
Xiaohong Li ◽  
...  

GUI2WiRe

2020 ◽  
Author(s):  
Kristian Kolthoff ◽  
Christian Bartelt ◽  
Simone Paolo Ponzetto
Load More ...
Sign in / Sign up

Export Citation Format

Share Document