wikidata.org
International Conference on Automated Software Engineering
container_hj24pr6lvba3dfi5muhp4mz5tm
Homepage URLs
http://ase.informatik.uni-essen.de/ |
Example Publications
Seamlessly integrated, but loosely coupled
Heiko Paulheim
2010
|
International Conference on Automated Software Engineering
doi:10.1145/1858996.1859017 dblp:conf/kbse/Paulheim10
AnswerBot: Automated generation of answer summary to developers' technical questions
Bowen Xu, Zhenchang Xing, Xin Xia, David Lo
2017
|
International Conference on Automated Software Engineering
doi:10.1109/ase.2017.8115681 dblp:conf/kbse/XuXXL17
Reggae: Automated Test Generation for Programs Using Complex Regular Expressions
Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2009
|
International Conference on Automated Software Engineering
doi:10.1109/ase.2009.67 dblp:conf/kbse/LiXTHS09
Solving string constraints lazily
Pieter Hooimeijer, Westley Weimer
2010
|
International Conference on Automated Software Engineering
doi:10.1145/1858996.1859080 dblp:conf/kbse/HooimeijerW10
The electrum analyzer: model checking relational first-order temporal specifications
Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo
2018
|
International Conference on Automated Software Engineering
doi:10.1145/3238147.3240475 dblp:conf/kbse/BrunelCCM18