ESEC/FSE 2018
26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018)
Powered by
Conference Publishing Consulting

26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018), November 4–9, 2018, Lake Buena Vista, FL, USA

ESEC/FSE 2018 – Author Index

Contents - Abstracts - Authors

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Adamsen, Christoffer Quist ESEC/FSE '18: "Practical AJAX Race Detection ..." Article: fse18main-id7-p doi:10.1145/3236024.3236038
Afzal, Afsoon ESEC/FSE '18: "Quality Assurance Automation ..." Article: fse18doc-id10-p doi:10.1145/3236024.3275429
Albarghouthi, Aws ESEC/FSE '18: "Neural-Augmented Static Analysis ..." Article: fse18main-id199-p doi:10.1145/3236024.3236066 ESEC/FSE '18: "Syntax-Guided Synthesis of ..." Article: fse18main-id183-p doi:10.1145/3236024.3236034
Alimadadi, Saba ESEC/FSE '18: "Practical AJAX Race Detection ..." Article: fse18main-id7-p doi:10.1145/3236024.3236038
Alipour, Mohammad Amin ESEC/FSE '18: "On the Naturalness of Proofs ..." Article: fse18nier-id5-p doi:10.1145/3236024.3264832
Allamanis, Miltiadis ESEC/FSE '18: "RefiNym: Using Names to Refine ..." Article: fse18main-id100-p doi:10.1145/3236024.3236042 ESEC/FSE '18: "Deep Learning Type Inference ..." Article: fse18main-id152-p doi:10.1145/3236024.3236051
Amar, Hen ESEC/FSE '18: "Using Finite-State Models ..." Article: fse18main-id39-p doi:10.1145/3236024.3236069
Anand, Vaastav ESEC/FSE '18: "Dara: Hybrid Model Checking ..." Article: fse18src-id9-p doi:10.1145/3236024.3275438
Ang, Ming Yi ESEC/FSE '18: "Efficient Static Checking ..." Article: fse18ind-id15-p doi:10.1145/3236024.3275535
Angell, Rico ESEC/FSE '18: "Themis: Automatically Testing ..." Article: fse18demo-id9-p doi:10.1145/3236024.3264590
Aniche, Maurício ESEC/FSE '18: "PyDriller: Python Framework ..." Article: fse18demo-id7-p doi:10.1145/3236024.3264598
Armaly, Ameer ESEC/FSE '18: "Detecting Speech Act Types ..." Article: fse18main-id107-p doi:10.1145/3236024.3236031
Aydin, Abdulbaki ESEC/FSE '18: "Parameterized Model Counting ..." Article: fse18main-id209-p doi:10.1145/3236024.3236064
Bacchelli, Alberto ESEC/FSE '18: "PyDriller: Python Framework ..." Article: fse18demo-id7-p doi:10.1145/3236024.3264598 ESEC/FSE '18: "What Makes a Code Change Easier ..." Article: fse18main-id281-p doi:10.1145/3236024.3236080
Bagheri, Hamid ESEC/FSE '18: "Modeling and Testing a Family ..." Article: fse18ind-id34-p doi:10.1145/3236024.3275534
Baldi, Pierre ESEC/FSE '18: "Oreo: Detection of Clones ..." Article: fse18main-id193-p doi:10.1145/3236024.3236026
Baltes, Sebastian ESEC/FSE '18: "Towards a Theory of Software ..." Article: fse18main-id155-p doi:10.1145/3236024.3236061
Bang, Lucas ESEC/FSE '18: "Parameterized Model Counting ..." Article: fse18main-id209-p doi:10.1145/3236024.3236064
Bao, Lingfeng ESEC/FSE '18: "DSM: A Specification Mining ..." Article: fse18demo-id36-p doi:10.1145/3236024.3264597 ESEC/FSE '18: "VT-Revolution: Interactive ..." Article: fse18demo-id20-p doi:10.1145/3236024.3264587 ESEC/FSE '18: "Using Finite-State Models ..." Article: fse18main-id39-p doi:10.1145/3236024.3236069
Barik, Titus ESEC/FSE '18: "How Should Compilers Explain ..." Article: fse18main-id57-p doi:10.1145/3236024.3236040
Barr, Earl T. ESEC/FSE '18: "RefiNym: Using Names to Refine ..." Article: fse18main-id100-p doi:10.1145/3236024.3236042 ESEC/FSE '18: "Darwinian Data Structure Selection ..." Article: fse18main-id170-p doi:10.1145/3236024.3236043 ESEC/FSE '18: "Deep Learning Type Inference ..." Article: fse18main-id152-p doi:10.1145/3236024.3236051
Basios, Michail ESEC/FSE '18: "Darwinian Data Structure Selection ..." Article: fse18main-id170-p doi:10.1145/3236024.3236043
Berger, Thorsten ESEC/FSE '18: "Model Transformation Languages ..." Article: fse18main-id244-p doi:10.1145/3236024.3236046
Beschastnikh, Ivan ESEC/FSE '18: "Performance Comprehension ..." Article: fse18main-id206-p doi:10.1145/3236024.3236081
Bhowmik, Tanmay ESEC/FSE '18: "Towards Data-Driven Vulnerability ..." Article: fse18nier-id36-p doi:10.1145/3236024.3264836
Bian, Pan ESEC/FSE '18: "NAR-Miner: Discovering Negative ..." Article: fse18main-id108-p doi:10.1145/3236024.3236032
Bird, Christian ESEC/FSE '18: "Deep Learning Type Inference ..." Article: fse18main-id152-p doi:10.1145/3236024.3236051
Bissyandé, Tegawendé F. ESEC/FSE '18: "FraudDroid: Automated Ad Fraud ..." Article: fse18main-id220-p doi:10.1145/3236024.3236045
Bodden, Eric ESEC/FSE '18: "Do Android Taint Analysis ..." Article: fse18main-id76-p doi:10.1145/3236024.3236029 ESEC/FSE '18: "Gamifying Static Analysis ..." Article: fse18nier-id1-p doi:10.1145/3236024.3264830
Böhme, Marcel ESEC/FSE '18: "Verifying the Long-Run Behavior ..." Article: fse18main-id277-p doi:10.1145/3236024.3236078
Braberman, Víctor ESEC/FSE '18: "Testing and Validating End ..." Article: fse18ind-id14-p doi:10.1145/3236024.3275531
Brennan, Tegan ESEC/FSE '18: "Parameterized Model Counting ..." Article: fse18main-id209-p doi:10.1145/3236024.3236064
Brimble, Lance ESEC/FSE '18: "Building Lean Continuous Integration ..." Article: fse18ind-id8-p doi:10.1145/3236024.3275528
Brindescu, Caius ESEC/FSE '18: "How Do Developers Resolve ..." Article: fse18doc-id13-p doi:10.1145/3236024.3275430
Brun, Yuriy ESEC/FSE '18: "Themis: Automatically Testing ..." Article: fse18demo-id9-p doi:10.1145/3236024.3264590 ESEC/FSE '18: "Software Fairness ..." Article: fse18nier-id38-p doi:10.1145/3236024.3264838
Brünink, Marc ESEC/FSE '18: "Verifying the Long-Run Behavior ..." Article: fse18main-id277-p doi:10.1145/3236024.3236078
Bultan, Tevfik ESEC/FSE '18: "Parameterized Model Counting ..." Article: fse18main-id209-p doi:10.1145/3236024.3236064
Busany, Nimrod ESEC/FSE '18: "Using Finite-State Models ..." Article: fse18main-id39-p doi:10.1145/3236024.3236069
Cai, Yan ESEC/FSE '18: "NAR-Miner: Discovering Negative ..." Article: fse18main-id108-p doi:10.1145/3236024.3236032
Canino, Anthony ESEC/FSE '18: "Stochastic Energy Optimization ..." Article: fse18main-id243-p doi:10.1145/3236024.3236076
Castelluccio, Marco ESEC/FSE '18: "What Makes a Code Change Easier ..." Article: fse18main-id281-p doi:10.1145/3236024.3236080
Celik, Ahmet ESEC/FSE '18: "Regression Test Selection ..." Article: fse18ind-id18-p doi:10.1145/3236024.3275527
Chen, Bihuan ESEC/FSE '18: "FOT: A Versatile, Configurable, ..." Article: fse18demo-id34-p doi:10.1145/3236024.3264593
Chen, Di ESEC/FSE '18: "Applications of Psychological ..." Article: fse18main-id137-p doi:10.1145/3236024.3236050
Chen, Dongjie ESEC/FSE '18: "Testing Multithreaded Programs ..." Article: fse18main-id258-p doi:10.1145/3236024.3236077
Chen, Hongxu ESEC/FSE '18: "FOT: A Versatile, Configurable, ..." Article: fse18demo-id34-p doi:10.1145/3236024.3264593
Chen, Jia ESEC/FSE '18: "Singularity: Pattern Fuzzing ..." Article: fse18main-id18-p doi:10.1145/3236024.3236039
Chen, Junjie ESEC/FSE '18: "Optimizing Test Prioritization ..." Article: fse18main-id189-p doi:10.1145/3236024.3236053
Chen, Quan ESEC/FSE '18: "DLFuzz: Differential Fuzzing ..." Article: fse18nier-id23-p doi:10.1145/3236024.3264835
Chen, Sen ESEC/FSE '18: "Are Mobile Banking Apps Secure? ..." Article: fse18ind-id35-p doi:10.1145/3236024.3275523
Chen, Xiangping ESEC/FSE '18: "Salient-Class Location: Help ..." Article: fse18nier-id46-p doi:10.1145/3236024.3264841
Chen, Yuanliang ESEC/FSE '18: "PAFL: Extend Fuzzing Optimizations ..." Article: fse18ind-id23-p doi:10.1145/3236024.3275525
Cheung, Alvin ESEC/FSE '18: "PowerStation: Automatically ..." Article: fse18demo-id5-p doi:10.1145/3236024.3264589
Cheung, Shing-Chi ESEC/FSE '18: "Do the Dependency Conflicts ..." Article: fse18main-id242-p doi:10.1145/3236024.3236056 ESEC/FSE '18: "Which Generated Test Failures ..." Article: fse18main-id274-p doi:10.1145/3236024.3236058
Chintalapati, Murali ESEC/FSE '18: "Predicting Node Failure in ..." Article: fse18main-id87-p doi:10.1145/3236024.3236060
Chua, Hendy ESEC/FSE '18: "Efficient Static Checking ..." Article: fse18ind-id15-p doi:10.1145/3236024.3275535
Cimatti, Alessandro ESEC/FSE '18: "Symbolic Execution with Existential ..." Article: fse18main-id59-p doi:10.1145/3236024.3236049
Coghlan, Christy A. ESEC/FSE '18: "The Impact of Regular Expression ..." Article: fse18main-id4-p doi:10.1145/3236024.3236027
Cohen, Myra B. ESEC/FSE '18: "Modeling and Testing a Family ..." Article: fse18ind-id34-p doi:10.1145/3236024.3275534
Cordeiro, Lucas C. ESEC/FSE '18: "Towards Counterexample-Guided ..." Article: fse18nier-id43-p doi:10.1145/3236024.3264840
Da Costa, Daniel Alencar ESEC/FSE '18: "Winning the App Production ..." Article: fse18main-id190-p doi:10.1145/3236024.3236044
Daian, Philip ESEC/FSE '18: "A Formal Verification Tool ..." Article: fse18demo-id15-p doi:10.1145/3236024.3264591
Dang, Yingnong ESEC/FSE '18: "Predicting Node Failure in ..." Article: fse18main-id87-p doi:10.1145/3236024.3236060
Dash, Santanu Kumar ESEC/FSE '18: "RefiNym: Using Names to Refine ..." Article: fse18main-id100-p doi:10.1145/3236024.3236042
Davis, James C. ESEC/FSE '18: "The Impact of Regular Expression ..." Article: fse18main-id4-p doi:10.1145/3236024.3236027
Debroy, Vidroha ESEC/FSE '18: "Building Lean Continuous Integration ..." Article: fse18ind-id8-p doi:10.1145/3236024.3275528
De Caso, Guido ESEC/FSE '18: "Testing and Validating End ..." Article: fse18ind-id14-p doi:10.1145/3236024.3275531
DeFreez, Daniel ESEC/FSE '18: "Path-Based Function Embedding ..." Article: fse18main-id34-p doi:10.1145/3236024.3236059 ESEC/FSE '18: "Mining Error-Handling Specifications ..." Article: fse18src-id11-p doi:10.1145/3236024.3275440
Devanbu, Premkumar T. ESEC/FSE '18: "On the Naturalness of Proofs ..." Article: fse18nier-id5-p doi:10.1145/3236024.3264832
Diehl, Stephan ESEC/FSE '18: "Towards a Theory of Software ..." Article: fse18main-id155-p doi:10.1145/3236024.3236061
Dillig, Isil ESEC/FSE '18: "Singularity: Pattern Fuzzing ..." Article: fse18main-id18-p doi:10.1145/3236024.3236039
Dolan-Gavitt, Brendan ESEC/FSE '18: "Bug Synthesis: Challenging ..." Article: fse18main-id94-p doi:10.1145/3236024.3236084
Dong, Feng ESEC/FSE '18: "FraudDroid: Automated Ad Fraud ..." Article: fse18main-id220-p doi:10.1145/3236024.3236045
Dou, Liang ESEC/FSE '18: "FACTS: Automated Black-Box ..." Article: fse18ind-id30-p doi:10.1145/3236024.3275533
Dou, Wensheng ESEC/FSE '18: "An Empirical Study on Crash ..." Article: fse18main-id102-p doi:10.1145/3236024.3236030 ESEC/FSE '18: "How Are Spreadsheet Templates ..." Article: fse18nier-id14-p doi:10.1145/3236024.3264834
Dutta, Saikat ESEC/FSE '18: "Testing Probabilistic Programming ..." Article: fse18main-id271-p doi:10.1145/3236024.3236057
Dyer, Robert ESEC/FSE '18: "Software Engineering Collaboratories ..." Article: fse18nier-id42-p doi:10.1145/3236024.3264839
Eiers, William ESEC/FSE '18: "Parameterized Model Counting ..." Article: fse18main-id209-p doi:10.1145/3236024.3236064
Elbaum, Sebastian ESEC/FSE '18: "Phys: Probabilistic Physical ..." Article: fse18main-id210-p doi:10.1145/3236024.3236035
Erata, Ferhat ESEC/FSE '18: "AlloyInEcore: Embedding of ..." Article: fse18demo-id4-p doi:10.1145/3236024.3264588
Erofeeva, Irina ESEC/FSE '18: "How Dance(Sport) Can Help ..." Article: fse18src-id7-p doi:10.1145/3236024.3275436
Fakhoury, Sarah ESEC/FSE '18: "Moving towards Objective Measures ..." Article: fse18doc-id12-p doi:10.1145/3236024.3275426
Fan, Lingling ESEC/FSE '18: "Are Mobile Banking Apps Secure? ..." Article: fse18ind-id35-p doi:10.1145/3236024.3275523
Farmahinifarahani, Farima ESEC/FSE '18: "Oreo: Detection of Clones ..." Article: fse18main-id193-p doi:10.1145/3236024.3236026
Farritor, Shane ESEC/FSE '18: "Modeling and Testing a Family ..." Article: fse18ind-id34-p doi:10.1145/3236024.3275534
Fazzini, Mattia ESEC/FSE '18: "Automated Support for Mobile ..." Article: fse18doc-id11-p doi:10.1145/3236024.3275425
Fedorova, Alexandra ESEC/FSE '18: "Performance Comprehension ..." Article: fse18main-id206-p doi:10.1145/3236024.3236081
Feng, Xiaobing ESEC/FSE '18: "CloudRaid: Hunting Concurrency ..." Article: fse18main-id120-p doi:10.1145/3236024.3236071
Feng, Yu ESEC/FSE '18: "Singularity: Pattern Fuzzing ..." Article: fse18main-id18-p doi:10.1145/3236024.3236039
Ferles, Kostas ESEC/FSE '18: "Singularity: Pattern Fuzzing ..." Article: fse18main-id18-p doi:10.1145/3236024.3236039
Filkov, Vladimir ESEC/FSE '18: "One Size Does Not Fit All: ..." Article: fse18main-id171-p doi:10.1145/3236024.3236033
Foo, Darius ESEC/FSE '18: "Efficient Static Checking ..." Article: fse18ind-id15-p doi:10.1145/3236024.3275535
Ford, Denae ESEC/FSE '18: "How Should Compilers Explain ..." Article: fse18main-id57-p doi:10.1145/3236024.3236040
Fox, Armando ESEC/FSE '18: "Towards Quantifying the Development ..." Article: fse18nier-id48-p doi:10.1145/3236024.3264842
Fu, Wei ESEC/FSE '18: "Applications of Psychological ..." Article: fse18main-id137-p doi:10.1145/3236024.3236050
Fu, Ying ESEC/FSE '18: "VulSeeker-Pro: Enhanced Semantic ..." Article: fse18ind-id21-p doi:10.1145/3236024.3275524
Gadelha, Mikhail R. ESEC/FSE '18: "Towards Counterexample-Guided ..." Article: fse18nier-id43-p doi:10.1145/3236024.3264840
Gao, Chushu ESEC/FSE '18: "An Empirical Study on Crash ..." Article: fse18main-id102-p doi:10.1145/3236024.3236030 ESEC/FSE '18: "How Are Spreadsheet Templates ..." Article: fse18nier-id14-p doi:10.1145/3236024.3264834
Gao, Cuiyun ESEC/FSE '18: "INFAR: Insight Extraction ..." Article: fse18demo-id10-p doi:10.1145/3236024.3264595
Gao, Jian ESEC/FSE '18: "VulSeeker-Pro: Enhanced Semantic ..." Article: fse18ind-id21-p doi:10.1145/3236024.3275524
Gao, Yu ESEC/FSE '18: "An Empirical Study on Crash ..." Article: fse18main-id102-p doi:10.1145/3236024.3236030
Garbervetsky, Diego ESEC/FSE '18: "Testing and Validating End ..." Article: fse18ind-id14-p doi:10.1145/3236024.3275531
Gavrilov, Miroslav ESEC/FSE '18: "Parameterized Model Counting ..." Article: fse18main-id209-p doi:10.1145/3236024.3236064
Gligoric, Milos ESEC/FSE '18: "Regression Test Selection ..." Article: fse18ind-id18-p doi:10.1145/3236024.3275527
Glondu, Stéphane ESEC/FSE '18: "Ten Years of Hunting for Similar ..." Article: fse18inv-inv2-p doi:10.1145/3236024.3280856
Godoy, Javier ESEC/FSE '18: "Testing and Validating End ..." Article: fse18ind-id14-p doi:10.1145/3236024.3275531
Goknil, Arda ESEC/FSE '18: "AlloyInEcore: Embedding of ..." Article: fse18demo-id4-p doi:10.1145/3236024.3264588
Grama, Ananth ESEC/FSE '18: "MODE: Automated Neural Network ..." Article: fse18main-id229-p doi:10.1145/3236024.3236082
Griggio, Alberto ESEC/FSE '18: "Symbolic Execution with Existential ..." Article: fse18main-id59-p doi:10.1145/3236024.3236049
Gu, Lintao ESEC/FSE '18: "FACTS: Automated Black-Box ..." Article: fse18ind-id30-p doi:10.1145/3236024.3275533
Gulzar, Muhammad Ali ESEC/FSE '18: "BigSift: Automated Debugging ..." Article: fse18demo-id13-p doi:10.1145/3236024.3264586
Guo, Jianmin ESEC/FSE '18: "DLFuzz: Differential Fuzzing ..." Article: fse18nier-id23-p doi:10.1145/3236024.3264835
Guo, Shengjian ESEC/FSE '18: "Adversarial Symbolic Execution ..." Article: fse18main-id17-p doi:10.1145/3236024.3236028
Guo, Yao ESEC/FSE '18: "FraudDroid: Automated Ad Fraud ..." Article: fse18main-id220-p doi:10.1145/3236024.3236045
Gusmanov, Kamill ESEC/FSE '18: "On the Adoption of Neural ..." Article: fse18src-id4-p doi:10.1145/3236024.3275433
Han, Shi ESEC/FSE '18: "Automated Refactoring of Nested-IF ..." Article: fse18ind-id27-p doi:10.1145/3236024.3275532
Hao, Dan ESEC/FSE '18: "Automated Refactoring of Nested-IF ..." Article: fse18ind-id27-p doi:10.1145/3236024.3275532 ESEC/FSE '18: "Optimizing Test Prioritization ..." Article: fse18main-id189-p doi:10.1145/3236024.3236053
Hashimoto, Masatomo ESEC/FSE '18: "Automated Patch Extraction ..." Article: fse18main-id289-p doi:10.1145/3236024.3236047
He, Liang ESEC/FSE '18: "FACTS: Automated Black-Box ..." Article: fse18ind-id30-p doi:10.1145/3236024.3275533
He, Shilin ESEC/FSE '18: "Identifying Impactful Service ..." Article: fse18main-id90-p doi:10.1145/3236024.3236083
He, Xiao ESEC/FSE '18: "Putback-Based Bidirectional ..." Article: fse18main-id73-p doi:10.1145/3236024.3236070
Hebig, Regina ESEC/FSE '18: "Model Transformation Languages ..." Article: fse18main-id244-p doi:10.1145/3236024.3236046
Hellendoorn, Vincent J. ESEC/FSE '18: "Deep Learning Type Inference ..." Article: fse18main-id152-p doi:10.1145/3236024.3236051 ESEC/FSE '18: "On the Naturalness of Proofs ..." Article: fse18nier-id5-p doi:10.1145/3236024.3264832
Henkel, Jordan ESEC/FSE '18: "Code Vectors: Understanding ..." Article: fse18main-id149-p doi:10.1145/3236024.3236085
Herbsleb, James ESEC/FSE '18: "Ecosystem-Level Determinants ..." Article: fse18main-id164-p doi:10.1145/3236024.3236062
Hong, Kai ESEC/FSE '18: "Salient-Class Location: Help ..." Article: fse18nier-id46-p doi:10.1145/3236024.3264841
Hong, Seongjoon ESEC/FSE '18: "MemFix: Static Analysis-Based ..." Article: fse18main-id278-p doi:10.1145/3236024.3236079
Hosseini, Mitra Bokaei ESEC/FSE '18: "Semantic Inference from Natural ..." Article: fse18doc-id9-p doi:10.1145/3236024.3275427
Hsieh, Ken ESEC/FSE '18: "Predicting Node Failure in ..." Article: fse18main-id87-p doi:10.1145/3236024.3236060
Hu, Gang ESEC/FSE '18: "AppFlow: Using Machine Learning ..." Article: fse18main-id219-p doi:10.1145/3236024.3236055
Hu, Qingda ESEC/FSE '18: "Towards Quantifying the Development ..." Article: fse18nier-id48-p doi:10.1145/3236024.3264842
Hu, Yu ESEC/FSE '18: "Bug Synthesis: Challenging ..." Article: fse18main-id94-p doi:10.1145/3236024.3236084
Hu, Zhenjiang ESEC/FSE '18: "Putback-Based Bidirectional ..." Article: fse18main-id73-p doi:10.1145/3236024.3236070
Hua, Jinru ESEC/FSE '18: "SketchFix: A Tool for Automated ..." Article: fse18demo-id22-p doi:10.1145/3236024.3264600
Huang, Jeff ESEC/FSE '18: "DeepSim: Deep Learning Code ..." Article: fse18main-id37-p doi:10.1145/3236024.3236068 ESEC/FSE '18: "Concurrency Verification with ..." Article: fse18main-id21-p doi:10.1145/3236024.3236048
Huang, Jianjun ESEC/FSE '18: "NAR-Miner: Discovering Negative ..." Article: fse18main-id108-p doi:10.1145/3236024.3236032
Huang, Ruirui ESEC/FSE '18: "An Empirical Study on Crash ..." Article: fse18main-id102-p doi:10.1145/3236024.3236030
Huang, Tao ESEC/FSE '18: "How Are Spreadsheet Templates ..." Article: fse18nier-id14-p doi:10.1145/3236024.3264834
Huang, Yuan ESEC/FSE '18: "Salient-Class Location: Help ..." Article: fse18nier-id46-p doi:10.1145/3236024.3264841
Huang, Zixin ESEC/FSE '18: "Testing Probabilistic Programming ..." Article: fse18main-id271-p doi:10.1145/3236024.3236057
Hussain, Waqar ESEC/FSE '18: "Operationalizing Human Values ..." Article: fse18nier-id50-p doi:10.1145/3236024.3264843
Imtiaz, Sayem Mohammad ESEC/FSE '18: "Towards Data-Driven Vulnerability ..." Article: fse18nier-id36-p doi:10.1145/3236024.3264836
Ivanov, Vladimir ESEC/FSE '18: "Design and Validation of Precooked ..." Article: fse18ind-id16-p doi:10.1145/3236024.3275530
Izumida, Tomonori ESEC/FSE '18: "Automated Patch Extraction ..." Article: fse18main-id289-p doi:10.1145/3236024.3236047
Jamshidi, Pooyan ESEC/FSE '18: "Learning to Sample: Exploiting ..." Article: fse18main-id175-p doi:10.1145/3236024.3236074
Jha, Somesh ESEC/FSE '18: "Neural-Augmented Static Analysis ..." Article: fse18main-id199-p doi:10.1145/3236024.3236066
Jia, Nan ESEC/FSE '18: "Salient-Class Location: Help ..." Article: fse18nier-id46-p doi:10.1145/3236024.3264841
Jiang, Lingxiao ESEC/FSE '18: "Ten Years of Hunting for Similar ..." Article: fse18inv-inv2-p doi:10.1145/3236024.3280856
Jiang, Yanyan ESEC/FSE '18: "Testing Multithreaded Programs ..." Article: fse18main-id258-p doi:10.1145/3236024.3236077
Jiang, Yu ESEC/FSE '18: "EClone: Detect Semantic Clones ..." Article: fse18demo-id32-p doi:10.1145/3236024.3264596 ESEC/FSE '18: "VulSeeker-Pro: Enhanced Semantic ..." Article: fse18ind-id21-p doi:10.1145/3236024.3275524 ESEC/FSE '18: "PAFL: Extend Fuzzing Optimizations ..." Article: fse18ind-id23-p doi:10.1145/3236024.3275525 ESEC/FSE '18: "DLFuzz: Differential Fuzzing ..." Article: fse18nier-id23-p doi:10.1145/3236024.3264835
Johnson, Brittany ESEC/FSE '18: "Themis: Automatically Testing ..." Article: fse18demo-id9-p doi:10.1145/3236024.3264590
Kanthan, Leslie ESEC/FSE '18: "Darwinian Data Structure Selection ..." Article: fse18main-id170-p doi:10.1145/3236024.3236043
Kästner, Christian ESEC/FSE '18: "Learning to Sample: Exploiting ..." Article: fse18main-id175-p doi:10.1145/3236024.3236074 ESEC/FSE '18: "Beyond Testing Configurable ..." Article: fse18nier-id37-p doi:10.1145/3236024.3264837
Kate, Sayali ESEC/FSE '18: "Phys: Probabilistic Physical ..." Article: fse18main-id210-p doi:10.1145/3236024.3236035
Ketkar, Ameya ESEC/FSE '18: "Type Migration in Large-Scale ..." Article: fse18src-id5-p doi:10.1145/3236024.3275434
Khurshid, Sarfraz ESEC/FSE '18: "SketchFix: A Tool for Automated ..." Article: fse18demo-id22-p doi:10.1145/3236024.3264600 ESEC/FSE '18: "ASketch: A Sketching Framework ..." Article: fse18demo-id6-p doi:10.1145/3236024.3264594
Kim, Mijung ESEC/FSE '18: "Which Generated Test Failures ..." Article: fse18main-id274-p doi:10.1145/3236024.3236058
Kim, Miryung ESEC/FSE '18: "BigSift: Automated Debugging ..." Article: fse18demo-id13-p doi:10.1145/3236024.3264586 ESEC/FSE '18: "Augmenting Stack Overflow ..." Article: fse18demo-id16-p doi:10.1145/3236024.3264585
Kim, Sunghun ESEC/FSE '18: "Which Generated Test Failures ..." Article: fse18main-id274-p doi:10.1145/3236024.3236058
King, Irwin ESEC/FSE '18: "INFAR: Insight Extraction ..." Article: fse18demo-id10-p doi:10.1145/3236024.3264595
Kini, Dileep ESEC/FSE '18: "Data Race Detection on Compressed ..." Article: fse18main-id42-p doi:10.1145/3236024.3236025
Klein, Jacques ESEC/FSE '18: "FraudDroid: Automated Ad Fraud ..." Article: fse18main-id220-p doi:10.1145/3236024.3236045
Koszek, Wojciech ESEC/FSE '18: "Towards Quantifying the Development ..." Article: fse18nier-id48-p doi:10.1145/3236024.3264842
Koutris, Paraschos ESEC/FSE '18: "Syntax-Guided Synthesis of ..." Article: fse18main-id183-p doi:10.1145/3236024.3236034
Krishna, Rahul ESEC/FSE '18: "Applications of Psychological ..." Article: fse18main-id137-p doi:10.1145/3236024.3236050
Kurtev, Ivan ESEC/FSE '18: "AlloyInEcore: Embedding of ..." Article: fse18demo-id4-p doi:10.1145/3236024.3264588
Lahiri, Shuvendu K. ESEC/FSE '18: "Code Vectors: Understanding ..." Article: fse18main-id149-p doi:10.1145/3236024.3236085
Le, Tien-Duy B. ESEC/FSE '18: "DSM: A Specification Mining ..." Article: fse18demo-id36-p doi:10.1145/3236024.3264597
Lee, Dongyoon ESEC/FSE '18: "The Impact of Regular Expression ..." Article: fse18main-id4-p doi:10.1145/3236024.3236027
Lee, Junhee ESEC/FSE '18: "MemFix: Static Analysis-Based ..." Article: fse18main-id278-p doi:10.1145/3236024.3236079
Lee, Wen-Chuan ESEC/FSE '18: "MODE: Automated Neural Network ..." Article: fse18main-id229-p doi:10.1145/3236024.3236082
Lee, Woosuk ESEC/FSE '18: "Syntax-Guided Synthesis of ..." Article: fse18main-id183-p doi:10.1145/3236024.3236034
Lee, Young Chul ESEC/FSE '18: "Regression Test Selection ..." Article: fse18ind-id18-p doi:10.1145/3236024.3275527
Legunsen, Owolabi ESEC/FSE '18: "Testing Probabilistic Programming ..." Article: fse18main-id271-p doi:10.1145/3236024.3236057
Lehmann, Daniel ESEC/FSE '18: "Feedback-Directed Differential ..." Article: fse18main-id5-p doi:10.1145/3236024.3236037
Li, Chenggang ESEC/FSE '18: "Predicting Node Failure in ..." Article: fse18main-id87-p doi:10.1145/3236024.3236060
Li, Feng ESEC/FSE '18: "CloudRaid: Hunting Concurrency ..." Article: fse18main-id120-p doi:10.1145/3236024.3236071
Li, Li ESEC/FSE '18: "FraudDroid: Automated Ad Fraud ..." Article: fse18main-id220-p doi:10.1145/3236024.3236045
Li, Lian ESEC/FSE '18: "CloudRaid: Hunting Concurrency ..." Article: fse18main-id120-p doi:10.1145/3236024.3236071
Li, Lingbo ESEC/FSE '18: "Darwinian Data Structure Selection ..." Article: fse18main-id170-p doi:10.1145/3236024.3236043
Li, Shanping ESEC/FSE '18: "VT-Revolution: Interactive ..." Article: fse18demo-id20-p doi:10.1145/3236024.3264587
Li, Yue ESEC/FSE '18: "Scalability-First Pointer ..." Article: fse18main-id81-p doi:10.1145/3236024.3236041
Li, Yuekang ESEC/FSE '18: "FOT: A Versatile, Configurable, ..." Article: fse18demo-id34-p doi:10.1145/3236024.3264593
Liang, Bin ESEC/FSE '18: "NAR-Miner: Discovering Negative ..." Article: fse18main-id108-p doi:10.1145/3236024.3236032
Liang, Jie ESEC/FSE '18: "PAFL: Extend Fuzzing Optimizations ..." Article: fse18ind-id23-p doi:10.1145/3236024.3275525
Liblit, Ben ESEC/FSE '18: "Code Vectors: Understanding ..." Article: fse18main-id149-p doi:10.1145/3236024.3236085
Lima, Bruno ESEC/FSE '18: "Automated Scenario-Based Integration ..." Article: fse18src-id1-p doi:10.1145/3236024.3275431
Lin, Chin-Yew ESEC/FSE '18: "INFAR: Insight Extraction ..." Article: fse18demo-id10-p doi:10.1145/3236024.3264595
Lin, Qingwei ESEC/FSE '18: "Predicting Node Failure in ..." Article: fse18main-id87-p doi:10.1145/3236024.3236060 ESEC/FSE '18: "Identifying Impactful Service ..." Article: fse18main-id90-p doi:10.1145/3236024.3236083
Liu, Chao ESEC/FSE '18: "EClone: Detect Semantic Clones ..." Article: fse18demo-id32-p doi:10.1145/3236024.3264596
Liu, Han ESEC/FSE '18: "EClone: Detect Semantic Clones ..." Article: fse18demo-id32-p doi:10.1145/3236024.3264596
Liu, Tianming ESEC/FSE '18: "FraudDroid: Automated Ad Fraud ..." Article: fse18main-id220-p doi:10.1145/3236024.3236045
Liu, Yang ESEC/FSE '18: "FOT: A Versatile, Configurable, ..." Article: fse18demo-id34-p doi:10.1145/3236024.3264593 ESEC/FSE '18: "Are Mobile Banking Apps Secure? ..." Article: fse18ind-id35-p doi:10.1145/3236024.3275523
Liu, Yingqi ESEC/FSE '18: "MODE: Automated Neural Network ..." Article: fse18main-id229-p doi:10.1145/3236024.3236082
Liu, Yu David ESEC/FSE '18: "Stochastic Energy Optimization ..." Article: fse18main-id243-p doi:10.1145/3236024.3236076
Liu, Zhenwei ESEC/FSE '18: "Do the Dependency Conflicts ..." Article: fse18main-id242-p doi:10.1145/3236024.3236056
Llerena, Yamilet R. Serrano ESEC/FSE '18: "Verifying the Long-Run Behavior ..." Article: fse18main-id277-p doi:10.1145/3236024.3236078
Lo, David ESEC/FSE '18: "DSM: A Specification Mining ..." Article: fse18demo-id36-p doi:10.1145/3236024.3264597 ESEC/FSE '18: "INFAR: Insight Extraction ..." Article: fse18demo-id10-p doi:10.1145/3236024.3264595 ESEC/FSE '18: "VT-Revolution: Interactive ..." Article: fse18demo-id20-p doi:10.1145/3236024.3264587 ESEC/FSE '18: "Using Finite-State Models ..." Article: fse18main-id39-p doi:10.1145/3236024.3236069
Long, Yuheng ESEC/FSE '18: "Large-Scale Study of Substitutability ..." Article: fse18main-id235-p doi:10.1145/3236024.3236075
Lopes, Cristina V. ESEC/FSE '18: "Oreo: Detection of Clones ..." Article: fse18main-id193-p doi:10.1145/3236024.3236026
Lou, Jian-Guang ESEC/FSE '18: "Predicting Node Failure in ..." Article: fse18main-id87-p doi:10.1145/3236024.3236060 ESEC/FSE '18: "Identifying Impactful Service ..." Article: fse18main-id90-p doi:10.1145/3236024.3236083
Lou, Yiling ESEC/FSE '18: "Optimizing Test Prioritization ..." Article: fse18main-id189-p doi:10.1145/3236024.3236053
Lu, Jian ESEC/FSE '18: "Testing Multithreaded Programs ..." Article: fse18main-id258-p doi:10.1145/3236024.3236077
Lu, Jie ESEC/FSE '18: "CloudRaid: Hunting Concurrency ..." Article: fse18main-id120-p doi:10.1145/3236024.3236071
Lu, Shan ESEC/FSE '18: "PowerStation: Automatically ..." Article: fse18demo-id5-p doi:10.1145/3236024.3264589
Lu, Yadong ESEC/FSE '18: "Oreo: Detection of Clones ..." Article: fse18main-id193-p doi:10.1145/3236024.3236026
Lyu, Michael R. ESEC/FSE '18: "INFAR: Insight Extraction ..." Article: fse18demo-id10-p doi:10.1145/3236024.3264595 ESEC/FSE '18: "Identifying Impactful Service ..." Article: fse18main-id90-p doi:10.1145/3236024.3236083
Ma, Shiqing ESEC/FSE '18: "MODE: Automated Neural Network ..." Article: fse18main-id229-p doi:10.1145/3236024.3236082
Ma, Xiaoxing ESEC/FSE '18: "Testing Multithreaded Programs ..." Article: fse18main-id258-p doi:10.1145/3236024.3236077
Maddox, Jackson ESEC/FSE '18: "Large-Scale Study of Substitutability ..." Article: fse18main-id235-p doi:10.1145/3236024.3236075
Mansoor, Niloofar ESEC/FSE '18: "Modeling and Testing a Family ..." Article: fse18ind-id34-p doi:10.1145/3236024.3275534
Maoz, Shahar ESEC/FSE '18: "Modify, Enhance, Select: Co-Evolution ..." Article: fse18main-id13-p doi:10.1145/3236024.3236067 ESEC/FSE '18: "Using Finite-State Models ..." Article: fse18main-id39-p doi:10.1145/3236024.3236069
Marinov, Darko ESEC/FSE '18: "ASketch: A Sketching Framework ..." Article: fse18demo-id6-p doi:10.1145/3236024.3264594
Masuhara, Hidehiko ESEC/FSE '18: "Stochastic Energy Optimization ..." Article: fse18main-id243-p doi:10.1145/3236024.3236076
Mathur, Mihir ESEC/FSE '18: "Augmenting Stack Overflow ..." Article: fse18demo-id16-p doi:10.1145/3236024.3264585
Mathur, Umang ESEC/FSE '18: "Data Race Detection on Compressed ..." Article: fse18main-id42-p doi:10.1145/3236024.3236025
McMillan, Collin ESEC/FSE '18: "Detecting Speech Act Types ..." Article: fse18main-id107-p doi:10.1145/3236024.3236031
McNamara, Andrew ESEC/FSE '18: "Does ACM’s Code of Ethics ..." Article: fse18nier-id11-p doi:10.1145/3236024.3264833
Mechtaev, Sergey ESEC/FSE '18: "Symbolic Execution with Existential ..." Article: fse18main-id59-p doi:10.1145/3236024.3236049
Meijer, Erik ESEC/FSE '18: "Behind Every Great Deep Learning ..." Article: fse18inv-inv1-p doi:10.1145/3236024.3280855
Meinicke, Jens ESEC/FSE '18: "Beyond Testing Configurable ..." Article: fse18nier-id37-p doi:10.1145/3236024.3264837
Meliou, Alexandra ESEC/FSE '18: "Themis: Automatically Testing ..." Article: fse18demo-id9-p doi:10.1145/3236024.3264590 ESEC/FSE '18: "Software Fairness ..." Article: fse18nier-id38-p doi:10.1145/3236024.3264838
Meng, Guozhu ESEC/FSE '18: "Are Mobile Banking Apps Secure? ..." Article: fse18ind-id35-p doi:10.1145/3236024.3275523
Menzies, Tim ESEC/FSE '18: "Applications of Psychological ..." Article: fse18main-id137-p doi:10.1145/3236024.3236050
Mesbah, Ali ESEC/FSE '18: "Vista: Web Test Repair using ..." Article: fse18demo-id19-p doi:10.1145/3236024.3264592 ESEC/FSE '18: "Visual Web Test Repair ..." Article: fse18main-id185-p doi:10.1145/3236024.3236063
Miller, Senecca ESEC/FSE '18: "Building Lean Continuous Integration ..." Article: fse18ind-id8-p doi:10.1145/3236024.3275528
Minku, Leandro L. ESEC/FSE '18: "A Novel Automated Approach ..." Article: fse18main-id187-p doi:10.1145/3236024.3236052
Misailovic, Sasa ESEC/FSE '18: "Testing Probabilistic Programming ..." Article: fse18main-id271-p doi:10.1145/3236024.3236057
Miucin, Svetozar ESEC/FSE '18: "Performance Comprehension ..." Article: fse18main-id206-p doi:10.1145/3236024.3236081
Møller, Anders ESEC/FSE '18: "Scalability-First Pointer ..." Article: fse18main-id81-p doi:10.1145/3236024.3236041 ESEC/FSE '18: "Practical AJAX Race Detection ..." Article: fse18main-id7-p doi:10.1145/3236024.3236038
Monteiro, Felipe R. ESEC/FSE '18: "Towards Counterexample-Guided ..." Article: fse18nier-id43-p doi:10.1145/3236024.3264840
Mori, Akira ESEC/FSE '18: "Automated Patch Extraction ..." Article: fse18main-id289-p doi:10.1145/3236024.3236047
Mougouei, Davoud ESEC/FSE '18: "Operationalizing Human Values ..." Article: fse18nier-id50-p doi:10.1145/3236024.3264843
Murphy-Hill, Emerson ESEC/FSE '18: "How Should Compilers Explain ..." Article: fse18main-id57-p doi:10.1145/3236024.3236040 ESEC/FSE '18: "Does ACM’s Code of Ethics ..." Article: fse18nier-id11-p doi:10.1145/3236024.3264833
Mustard, Craig ESEC/FSE '18: "Performance Comprehension ..." Article: fse18main-id206-p doi:10.1145/3236024.3236081
Naik, Mayur ESEC/FSE '18: "Syntax-Guided Synthesis of ..." Article: fse18main-id183-p doi:10.1145/3236024.3236034
Nguyen, Anh Tuan ESEC/FSE '18: "Complementing Global and Local ..." Article: fse18main-id285-p doi:10.1145/3236024.3236036
Nguyen, Hoan Anh ESEC/FSE '18: "Complementing Global and Local ..." Article: fse18main-id285-p doi:10.1145/3236024.3236036
Nguyen, Son ESEC/FSE '18: "Feature-Interaction Aware ..." Article: fse18src-id8-p doi:10.1145/3236024.3275437
Nguyen, Thanh ESEC/FSE '18: "Complementing Global and Local ..." Article: fse18main-id285-p doi:10.1145/3236024.3236036
Nguyen, Tien N. ESEC/FSE '18: "Complementing Global and Local ..." Article: fse18main-id285-p doi:10.1145/3236024.3236036
Nguyen, Trong ESEC/FSE '18: "Complementing Global and Local ..." Article: fse18main-id285-p doi:10.1145/3236024.3236036
Nguyen Quang Do, Lisa ESEC/FSE '18: "Gamifying Static Analysis ..." Article: fse18nier-id1-p doi:10.1145/3236024.3264830
Nicole, Denis A. ESEC/FSE '18: "Towards Counterexample-Guided ..." Article: fse18nier-id43-p doi:10.1145/3236024.3264840
Niu, Wenyu ESEC/FSE '18: "FACTS: Automated Black-Box ..." Article: fse18ind-id30-p doi:10.1145/3236024.3275533
Nocera, Francesco ESEC/FSE '18: "Reshaping Distributed Agile ..." Article: fse18src-id6-p doi:10.1145/3236024.3275435
Noei, Ehsan ESEC/FSE '18: "Winning the App Production ..." Article: fse18main-id190-p doi:10.1145/3236024.3236044
Octeau, Damien ESEC/FSE '18: "Neural-Augmented Static Analysis ..." Article: fse18main-id199-p doi:10.1145/3236024.3236066
Oh, Hakjoo ESEC/FSE '18: "MemFix: Static Analysis-Based ..." Article: fse18main-id278-p doi:10.1145/3236024.3236079
Ore, John-Paul ESEC/FSE '18: "Phys: Probabilistic Physical ..." Article: fse18main-id210-p doi:10.1145/3236024.3236035
Pandey, Awanish ESEC/FSE '18: "Bug Synthesis: Challenging ..." Article: fse18main-id94-p doi:10.1145/3236024.3236084
Park, Daejun ESEC/FSE '18: "A Formal Verification Tool ..." Article: fse18demo-id15-p doi:10.1145/3236024.3264591
Parnin, Chris ESEC/FSE '18: "How Should Compilers Explain ..." Article: fse18main-id57-p doi:10.1145/3236024.3236040
Pauck, Felix ESEC/FSE '18: "Do Android Taint Analysis ..." Article: fse18main-id76-p doi:10.1145/3236024.3236029
Pedersen, John Kook ESEC/FSE '18: "Model Transformation Languages ..." Article: fse18main-id244-p doi:10.1145/3236024.3236046
Perera, Harsha ESEC/FSE '18: "Operationalizing Human Values ..." Article: fse18nier-id50-p doi:10.1145/3236024.3264843
Perez, Ignacio ESEC/FSE '18: "Testing and Validating End ..." Article: fse18ind-id14-p doi:10.1145/3236024.3275531
Perez, Santiago ESEC/FSE '18: "Testing and Validating End ..." Article: fse18ind-id14-p doi:10.1145/3236024.3275531
Phan, Hung ESEC/FSE '18: "Complementing Global and Local ..." Article: fse18main-id285-p doi:10.1145/3236024.3236036
Pischulin, Vladislav ESEC/FSE '18: "Design and Validation of Precooked ..." Article: fse18ind-id16-p doi:10.1145/3236024.3275530
Pradel, Michael ESEC/FSE '18: "Feedback-Directed Differential ..." Article: fse18main-id5-p doi:10.1145/3236024.3236037
Qin, Feng ESEC/FSE '18: "An Empirical Study on Crash ..." Article: fse18main-id102-p doi:10.1145/3236024.3236030
Querel, Louis-Philippe ESEC/FSE '18: "WarningsGuru: Integrating ..." Article: fse18demo-id1-p doi:10.1145/3236024.3264599
Rahman, Md Tajmilur ESEC/FSE '18: "The Impact of Failing, Flaky, ..." Article: fse18ind-id19-p doi:10.1145/3236024.3275529
Rahman, Mohammad Masudur ESEC/FSE '18: "Improving IR-Based Bug Localization ..." Article: fse18main-id255-p doi:10.1145/3236024.3236065
Rajan, Hridesh ESEC/FSE '18: "Large-Scale Study of Substitutability ..." Article: fse18main-id235-p doi:10.1145/3236024.3236075
Ram, Achyudh ESEC/FSE '18: "What Makes a Code Change Easier ..." Article: fse18main-id281-p doi:10.1145/3236024.3236080
Rastogi, Vaibhav ESEC/FSE '18: "Neural-Augmented Static Analysis ..." Article: fse18main-id199-p doi:10.1145/3236024.3236066
Reinhardt, Anastasia ESEC/FSE '18: "Augmenting Stack Overflow ..." Article: fse18demo-id16-p doi:10.1145/3236024.3264585
Ren, Jinglei ESEC/FSE '18: "Towards Quantifying the Development ..." Article: fse18nier-id48-p doi:10.1145/3236024.3264842
Reps, Thomas ESEC/FSE '18: "Code Vectors: Understanding ..." Article: fse18main-id149-p doi:10.1145/3236024.3236085
Rigby, Peter C. ESEC/FSE '18: "WarningsGuru: Integrating ..." Article: fse18demo-id1-p doi:10.1145/3236024.3264599 ESEC/FSE '18: "The Impact of Failing, Flaky, ..." Article: fse18ind-id19-p doi:10.1145/3236024.3275529
Robson, Neill ESEC/FSE '18: "Diversity and Decorum in Open ..." Article: fse18src-id13-p doi:10.1145/3236024.3275441
Rodeghero, Paige ESEC/FSE '18: "Detecting Speech Act Types ..." Article: fse18main-id107-p doi:10.1145/3236024.3236031
Rogers, Alan ESEC/FSE '18: "Design and Validation of Precooked ..." Article: fse18ind-id16-p doi:10.1145/3236024.3275530
Rosenblum, David S. ESEC/FSE '18: "Verifying the Long-Run Behavior ..." Article: fse18main-id277-p doi:10.1145/3236024.3236078
Roşu, Grigore ESEC/FSE '18: "A Formal Verification Tool ..." Article: fse18demo-id15-p doi:10.1145/3236024.3264591
Rountev, Atanas ESEC/FSE '18: "Detection of Energy Inefficiencies ..." Article: fse18main-id163-p doi:10.1145/3236024.3236073
Roy, Chanchal K. ESEC/FSE '18: "Improving IR-Based Bug Localization ..." Article: fse18main-id255-p doi:10.1145/3236024.3236065
Roy, Subhajit ESEC/FSE '18: "Bug Synthesis: Challenging ..." Article: fse18main-id94-p doi:10.1145/3236024.3236084
Roychoudhury, Abhik ESEC/FSE '18: "Symbolic Execution with Existential ..." Article: fse18main-id59-p doi:10.1145/3236024.3236049
Rubin, Julia ESEC/FSE '18: "Performance Comprehension ..." Article: fse18main-id206-p doi:10.1145/3236024.3236081
Rubio-González, Cindy ESEC/FSE '18: "Path-Based Function Embedding ..." Article: fse18main-id34-p doi:10.1145/3236024.3236059
Saddler, Jonathan A. ESEC/FSE '18: "Modeling and Testing a Family ..." Article: fse18ind-id34-p doi:10.1145/3236024.3275534
Saini, Vaibhav ESEC/FSE '18: "Oreo: Detection of Clones ..." Article: fse18main-id193-p doi:10.1145/3236024.3236026
Salem, Paulo ESEC/FSE '18: "The Case for Experiment-Oriented ..." Article: fse18nier-id2-p doi:10.1145/3236024.3264831
Sawant, Anand Ashok ESEC/FSE '18: "What Makes a Code Change Easier ..." Article: fse18main-id281-p doi:10.1145/3236024.3236080
Saxena, Manasvi ESEC/FSE '18: "A Formal Verification Tool ..." Article: fse18demo-id15-p doi:10.1145/3236024.3264591
Seidl, Christoph ESEC/FSE '18: "Model Transformation Languages ..." Article: fse18main-id244-p doi:10.1145/3236024.3236046
Servant, Francisco ESEC/FSE '18: "The Impact of Regular Expression ..." Article: fse18main-id4-p doi:10.1145/3236024.3236027
Shams, Rifat ESEC/FSE '18: "Operationalizing Human Values ..." Article: fse18nier-id50-p doi:10.1145/3236024.3264843
Sharma, Asankhaya ESEC/FSE '18: "Efficient Static Checking ..." Article: fse18ind-id15-p doi:10.1145/3236024.3275535
Sherman, Elena ESEC/FSE '18: "Software Engineering Collaboratories ..." Article: fse18nier-id42-p doi:10.1145/3236024.3264839
Shi, Heyuan ESEC/FSE '18: "VulSeeker-Pro: Enhanced Semantic ..." Article: fse18ind-id21-p doi:10.1145/3236024.3275524
Shi, Wenchang ESEC/FSE '18: "NAR-Miner: Discovering Negative ..." Article: fse18main-id108-p doi:10.1145/3236024.3236032
Si, Xujie ESEC/FSE '18: "Syntax-Guided Synthesis of ..." Article: fse18main-id183-p doi:10.1145/3236024.3236034
Siegmund, Norbert ESEC/FSE '18: "Learning to Sample: Exploiting ..." Article: fse18main-id175-p doi:10.1145/3236024.3236074
Silva, Bruno ESEC/FSE '18: "Modeling and Testing a Family ..." Article: fse18ind-id34-p doi:10.1145/3236024.3275534
Smaragdakis, Yannis ESEC/FSE '18: "Scalability-First Pointer ..." Article: fse18main-id81-p doi:10.1145/3236024.3236041
Smith, Justin ESEC/FSE '18: "Does ACM’s Code of Ethics ..." Article: fse18nier-id11-p doi:10.1145/3236024.3264833
Song, Liyan ESEC/FSE '18: "A Novel Automated Approach ..." Article: fse18main-id187-p doi:10.1145/3236024.3236052
Spadini, Davide ESEC/FSE '18: "PyDriller: Python Framework ..." Article: fse18demo-id7-p doi:10.1145/3236024.3264598 ESEC/FSE '18: "Practices and Tools for Better ..." Article: fse18doc-id3-p doi:10.1145/3236024.3275424
Stocco, Andrea ESEC/FSE '18: "Vista: Web Test Repair using ..." Article: fse18demo-id19-p doi:10.1145/3236024.3264592 ESEC/FSE '18: "Visual Web Test Repair ..." Article: fse18main-id185-p doi:10.1145/3236024.3236063
Stolee, Kathryn T. ESEC/FSE '18: "How Well Are Regular Expressions ..." Article: fse18main-id129-p doi:10.1145/3236024.3236072
Su, Guoxin ESEC/FSE '18: "Verifying the Long-Run Behavior ..." Article: fse18main-id277-p doi:10.1145/3236024.3236078
Su, Ting ESEC/FSE '18: "Are Mobile Banking Apps Secure? ..." Article: fse18ind-id35-p doi:10.1145/3236024.3275523
Su, Zhendong ESEC/FSE '18: "Ten Years of Hunting for Similar ..." Article: fse18inv-inv2-p doi:10.1145/3236024.3280856
Subramaniam, Pranav ESEC/FSE '18: "PowerStation: Automatically ..." Article: fse18demo-id5-p doi:10.1145/3236024.3264589
Succi, Giancarlo ESEC/FSE '18: "Design and Validation of Precooked ..." Article: fse18ind-id16-p doi:10.1145/3236024.3275530
Sui, Kaixin ESEC/FSE '18: "Predicting Node Failure in ..." Article: fse18main-id87-p doi:10.1145/3236024.3236060
Sullivan, Allison ESEC/FSE '18: "ASketch: A Sketching Framework ..." Article: fse18demo-id6-p doi:10.1145/3236024.3264594
Sun, Jiaguang ESEC/FSE '18: "EClone: Detect Semantic Clones ..." Article: fse18demo-id32-p doi:10.1145/3236024.3264596 ESEC/FSE '18: "VulSeeker-Pro: Enhanced Semantic ..." Article: fse18ind-id21-p doi:10.1145/3236024.3275524 ESEC/FSE '18: "PAFL: Extend Fuzzing Optimizations ..." Article: fse18ind-id23-p doi:10.1145/3236024.3275525 ESEC/FSE '18: "DLFuzz: Differential Fuzzing ..." Article: fse18nier-id23-p doi:10.1145/3236024.3264835
Sun, Xinyuan ESEC/FSE '18: "Towards Learning-Augmented ..." Article: fse18src-id3-p doi:10.1145/3236024.3275432
Tan, Tian ESEC/FSE '18: "Scalability-First Pointer ..." Article: fse18main-id81-p doi:10.1145/3236024.3236041
Tekinerdogan, Bedir ESEC/FSE '18: "AlloyInEcore: Embedding of ..." Article: fse18demo-id4-p doi:10.1145/3236024.3264588
Thakur, Aditya V. ESEC/FSE '18: "Path-Based Function Embedding ..." Article: fse18main-id34-p doi:10.1145/3236024.3236059
Tip, Frank ESEC/FSE '18: "Practical AJAX Race Detection ..." Article: fse18main-id7-p doi:10.1145/3236024.3236038
Tomassi, David A. ESEC/FSE '18: "Bugs in the Wild: Examining ..." Article: fse18src-id10-p doi:10.1145/3236024.3275439
Tran, Ngoc ESEC/FSE '18: "Complementing Global and Local ..." Article: fse18main-id285-p doi:10.1145/3236024.3236036
Truong, Linh ESEC/FSE '18: "Complementing Global and Local ..." Article: fse18main-id285-p doi:10.1145/3236024.3236036
Tu, Feifei ESEC/FSE '18: "Be Careful of When: An Empirical ..." Article: fse18main-id215-p doi:10.1145/3236024.3236054
Tzoref-Brill, Rachel ESEC/FSE '18: "Modify, Enhance, Select: Co-Evolution ..." Article: fse18main-id13-p doi:10.1145/3236024.3236067
Uchitel, Sebastian ESEC/FSE '18: "Testing and Validating End ..." Article: fse18ind-id14-p doi:10.1145/3236024.3275531
Valiev, Marat ESEC/FSE '18: "Ecosystem-Level Determinants ..." Article: fse18main-id164-p doi:10.1145/3236024.3236062
Vasilescu, Bogdan ESEC/FSE '18: "One Size Does Not Fit All: ..." Article: fse18main-id171-p doi:10.1145/3236024.3236033 ESEC/FSE '18: "Ecosystem-Level Determinants ..." Article: fse18main-id164-p doi:10.1145/3236024.3236062
Velez, Miguel ESEC/FSE '18: "Learning to Sample: Exploiting ..." Article: fse18main-id175-p doi:10.1145/3236024.3236074
Viswanathan, Mahesh ESEC/FSE '18: "Data Race Detection on Compressed ..." Article: fse18main-id42-p doi:10.1145/3236024.3236025
Wang, Chao ESEC/FSE '18: "Adversarial Symbolic Execution ..." Article: fse18main-id17-p doi:10.1145/3236024.3236028
Wang, Dong ESEC/FSE '18: "An Empirical Study on Crash ..." Article: fse18main-id102-p doi:10.1145/3236024.3236030
Wang, Haoyu ESEC/FSE '18: "FraudDroid: Automated Ad Fraud ..." Article: fse18main-id220-p doi:10.1145/3236024.3236045
Wang, Huaimin ESEC/FSE '18: "One Size Does Not Fit All: ..." Article: fse18main-id171-p doi:10.1145/3236024.3236033
Wang, Kaiyuan ESEC/FSE '18: "SketchFix: A Tool for Automated ..." Article: fse18demo-id22-p doi:10.1145/3236024.3264600 ESEC/FSE '18: "ASketch: A Sketching Framework ..." Article: fse18demo-id6-p doi:10.1145/3236024.3264594
Wang, Mingzhe ESEC/FSE '18: "PAFL: Extend Fuzzing Optimizations ..." Article: fse18ind-id23-p doi:10.1145/3236024.3275525
Wang, Peipei ESEC/FSE '18: "How Well Are Regular Expressions ..." Article: fse18main-id129-p doi:10.1145/3236024.3236072
Wang, Qingshun ESEC/FSE '18: "FACTS: Automated Black-Box ..." Article: fse18ind-id30-p doi:10.1145/3236024.3275533
Wang, Rui ESEC/FSE '18: "Do the Dependency Conflicts ..." Article: fse18main-id242-p doi:10.1145/3236024.3236056
Wang, Siman ESEC/FSE '18: "BigSift: Automated Debugging ..." Article: fse18demo-id13-p doi:10.1145/3236024.3264586
Wang, Xiaoleng ESEC/FSE '18: "Optimizing Test Prioritization ..." Article: fse18main-id189-p doi:10.1145/3236024.3236053
Wang, Ying ESEC/FSE '18: "Do the Dependency Conflicts ..." Article: fse18main-id242-p doi:10.1145/3236024.3236056
Wąsowski, Andrzej ESEC/FSE '18: "Model Transformation Languages ..." Article: fse18main-id244-p doi:10.1145/3236024.3236046
Wehrheim, Heike ESEC/FSE '18: "Do Android Taint Analysis ..." Article: fse18main-id76-p doi:10.1145/3236024.3236029
Wei, Jiayi ESEC/FSE '18: "Singularity: Pattern Fuzzing ..." Article: fse18main-id18-p doi:10.1145/3236024.3236039
Wei, Jun ESEC/FSE '18: "An Empirical Study on Crash ..." Article: fse18main-id102-p doi:10.1145/3236024.3236030 ESEC/FSE '18: "How Are Spreadsheet Templates ..." Article: fse18nier-id14-p doi:10.1145/3236024.3264834
Wen, Ming ESEC/FSE '18: "Do the Dependency Conflicts ..." Article: fse18main-id242-p doi:10.1145/3236024.3236056
Whittle, Jon ESEC/FSE '18: "Operationalizing Human Values ..." Article: fse18nier-id50-p doi:10.1145/3236024.3264843
Woepse, Anne ESEC/FSE '18: "Software Development Challenges ..." Article: fse18ind-id20-p doi:10.1145/3236024.3275526
Wong, Augustine ESEC/FSE '18: "Performance Comprehension ..." Article: fse18main-id206-p doi:10.1145/3236024.3236081
Wong, Chu-Pan ESEC/FSE '18: "Beyond Testing Configurable ..." Article: fse18nier-id37-p doi:10.1145/3236024.3264837
Wong, Sunny ESEC/FSE '18: "Software Development Challenges ..." Article: fse18ind-id20-p doi:10.1145/3236024.3275526
Wood, Andrew ESEC/FSE '18: "Detecting Speech Act Types ..." Article: fse18main-id107-p doi:10.1145/3236024.3236031
Wu, Fan ESEC/FSE '18: "Darwinian Data Structure Selection ..." Article: fse18main-id170-p doi:10.1145/3236024.3236043
Wu, Haowei ESEC/FSE '18: "Detection of Energy Inefficiencies ..." Article: fse18main-id163-p doi:10.1145/3236024.3236073
Wu, Meng ESEC/FSE '18: "Adversarial Symbolic Execution ..." Article: fse18main-id17-p doi:10.1145/3236024.3236028
Wu, Rongxin ESEC/FSE '18: "Do the Dependency Conflicts ..." Article: fse18main-id242-p doi:10.1145/3236024.3236056
Wu, Yongming ESEC/FSE '18: "An Empirical Study on Crash ..." Article: fse18main-id102-p doi:10.1145/3236024.3236030
Wu, Youjiang ESEC/FSE '18: "Predicting Node Failure in ..." Article: fse18main-id87-p doi:10.1145/3236024.3236060
Xia, Xin ESEC/FSE '18: "VT-Revolution: Interactive ..." Article: fse18demo-id20-p doi:10.1145/3236024.3264587
Xie, Tao ESEC/FSE '18: "FACTS: Automated Black-Box ..." Article: fse18ind-id30-p doi:10.1145/3236024.3275533
Xing, Zhenchang ESEC/FSE '18: "VT-Revolution: Interactive ..." Article: fse18demo-id20-p doi:10.1145/3236024.3264587
Xu, Chang ESEC/FSE '18: "Testing Multithreaded Programs ..." Article: fse18main-id258-p doi:10.1145/3236024.3236077
Xu, Guoai ESEC/FSE '18: "FraudDroid: Automated Ad Fraud ..." Article: fse18main-id220-p doi:10.1145/3236024.3236045
Xu, Liang ESEC/FSE '18: "How Are Spreadsheet Templates ..." Article: fse18nier-id14-p doi:10.1145/3236024.3264834
Xu, Lihua ESEC/FSE '18: "Are Mobile Banking Apps Secure? ..." Article: fse18ind-id35-p doi:10.1145/3236024.3275523 ESEC/FSE '18: "FACTS: Automated Black-Box ..." Article: fse18ind-id30-p doi:10.1145/3236024.3275533
Xu, Yong ESEC/FSE '18: "Predicting Node Failure in ..." Article: fse18main-id87-p doi:10.1145/3236024.3236060
Xu, Zhaogui ESEC/FSE '18: "Phys: Probabilistic Physical ..." Article: fse18main-id210-p doi:10.1145/3236024.3236035
Xue, Minhui ESEC/FSE '18: "Are Mobile Banking Apps Secure? ..." Article: fse18ind-id35-p doi:10.1145/3236024.3275523 ESEC/FSE '18: "FACTS: Automated Black-Box ..." Article: fse18ind-id30-p doi:10.1145/3236024.3275533
Xue, Yinxing ESEC/FSE '18: "FOT: A Versatile, Configurable, ..." Article: fse18demo-id34-p doi:10.1145/3236024.3264593
Yan, Cong ESEC/FSE '18: "PowerStation: Automatically ..." Article: fse18demo-id5-p doi:10.1145/3236024.3264589
Yandrapally, Rahulkrishna ESEC/FSE '18: "Vista: Web Test Repair using ..." Article: fse18demo-id19-p doi:10.1145/3236024.3264592 ESEC/FSE '18: "Visual Web Test Repair ..." Article: fse18main-id185-p doi:10.1145/3236024.3236063
Yang, Bo ESEC/FSE '18: "Do the Dependency Conflicts ..." Article: fse18main-id242-p doi:10.1145/3236024.3236056
Yang, Junfeng ESEC/FSE '18: "AppFlow: Using Machine Learning ..." Article: fse18main-id219-p doi:10.1145/3236024.3236055
Yang, Junwen ESEC/FSE '18: "PowerStation: Automatically ..." Article: fse18demo-id5-p doi:10.1145/3236024.3264589
Yang, Xin ESEC/FSE '18: "VulSeeker-Pro: Enhanced Semantic ..." Article: fse18ind-id21-p doi:10.1145/3236024.3275524
Yang, Zhiqiang ESEC/FSE '18: "EClone: Detect Semantic Clones ..." Article: fse18demo-id32-p doi:10.1145/3236024.3264596
Yao, Randolph ESEC/FSE '18: "Predicting Node Failure in ..." Article: fse18main-id87-p doi:10.1145/3236024.3236060
Yao, Xin ESEC/FSE '18: "A Novel Automated Approach ..." Article: fse18main-id187-p doi:10.1145/3236024.3236052
Ye, Louis ESEC/FSE '18: "Performance Comprehension ..." Article: fse18main-id206-p doi:10.1145/3236024.3236081
Yeo, Jason ESEC/FSE '18: "Efficient Static Checking ..." Article: fse18ind-id15-p doi:10.1145/3236024.3275535
Yi, Jooyong ESEC/FSE '18: "Design and Validation of Precooked ..." Article: fse18ind-id16-p doi:10.1145/3236024.3275530
Yi, Qiuping ESEC/FSE '18: "Concurrency Verification with ..." Article: fse18main-id21-p doi:10.1145/3236024.3236048
Yin, Hezheng ESEC/FSE '18: "Towards Quantifying the Development ..." Article: fse18nier-id48-p doi:10.1145/3236024.3264842
Yu, Fang ESEC/FSE '18: "Parameterized Model Counting ..." Article: fse18main-id209-p doi:10.1145/3236024.3236064
Yu, Hai ESEC/FSE '18: "Do the Dependency Conflicts ..." Article: fse18main-id242-p doi:10.1145/3236024.3236056
Zeng, Jichuan ESEC/FSE '18: "INFAR: Insight Extraction ..." Article: fse18demo-id10-p doi:10.1145/3236024.3264595
Zhang, Dongmei ESEC/FSE '18: "Automated Refactoring of Nested-IF ..." Article: fse18ind-id27-p doi:10.1145/3236024.3275532 ESEC/FSE '18: "Predicting Node Failure in ..." Article: fse18main-id87-p doi:10.1145/3236024.3236060 ESEC/FSE '18: "Identifying Impactful Service ..." Article: fse18main-id90-p doi:10.1145/3236024.3236083
Zhang, Hailong ESEC/FSE '18: "Detection of Energy Inefficiencies ..." Article: fse18main-id163-p doi:10.1145/3236024.3236073
Zhang, Hongyu ESEC/FSE '18: "Predicting Node Failure in ..." Article: fse18main-id87-p doi:10.1145/3236024.3236060 ESEC/FSE '18: "Identifying Impactful Service ..." Article: fse18main-id90-p doi:10.1145/3236024.3236083
Zhang, Jie ESEC/FSE '18: "Automated Refactoring of Nested-IF ..." Article: fse18ind-id27-p doi:10.1145/3236024.3275532
Zhang, Lingming ESEC/FSE '18: "Optimizing Test Prioritization ..." Article: fse18main-id189-p doi:10.1145/3236024.3236053
Zhang, Lu ESEC/FSE '18: "Automated Refactoring of Nested-IF ..." Article: fse18ind-id27-p doi:10.1145/3236024.3275532 ESEC/FSE '18: "Optimizing Test Prioritization ..." Article: fse18main-id189-p doi:10.1145/3236024.3236053
Zhang, Mengshi ESEC/FSE '18: "SketchFix: A Tool for Automated ..." Article: fse18demo-id22-p doi:10.1145/3236024.3264600
Zhang, Richard ESEC/FSE '18: "Syntax-Guided Synthesis of ..." Article: fse18main-id183-p doi:10.1145/3236024.3236034
Zhang, Tianyi ESEC/FSE '18: "Augmenting Stack Overflow ..." Article: fse18demo-id16-p doi:10.1145/3236024.3264585
Zhang, Xiangyu ESEC/FSE '18: "MODE: Automated Neural Network ..." Article: fse18main-id229-p doi:10.1145/3236024.3236082 ESEC/FSE '18: "Phys: Probabilistic Physical ..." Article: fse18main-id210-p doi:10.1145/3236024.3236035
Zhang, Yang ESEC/FSE '18: "One Size Does Not Fit All: ..." Article: fse18main-id171-p doi:10.1145/3236024.3236033
Zhang, Yi ESEC/FSE '18: "A Formal Verification Tool ..." Article: fse18demo-id15-p doi:10.1145/3236024.3264591
Zhao, Gang ESEC/FSE '18: "DeepSim: Deep Learning Code ..." Article: fse18main-id37-p doi:10.1145/3236024.3236068
Zhao, Jinman ESEC/FSE '18: "Neural-Augmented Static Analysis ..." Article: fse18main-id199-p doi:10.1145/3236024.3236066
Zhao, Wenqi ESEC/FSE '18: "EClone: Detect Semantic Clones ..." Article: fse18demo-id32-p doi:10.1145/3236024.3264596
Zhao, Yue ESEC/FSE '18: "DLFuzz: Differential Fuzzing ..." Article: fse18nier-id23-p doi:10.1145/3236024.3264835
Zheng, Qimu ESEC/FSE '18: "Be Careful of When: An Empirical ..." Article: fse18main-id215-p doi:10.1145/3236024.3236054
Zheng, Zibin ESEC/FSE '18: "Salient-Class Location: Help ..." Article: fse18nier-id46-p doi:10.1145/3236024.3264841
Zhou, Cheng ESEC/FSE '18: "Intelligent Bug Fixing with ..." Article: fse18doc-id5-p doi:10.1145/3236024.3275428
Zhou, Chijin ESEC/FSE '18: "PAFL: Extend Fuzzing Optimizations ..." Article: fse18ind-id23-p doi:10.1145/3236024.3275525
Zhou, Jianyi ESEC/FSE '18: "Optimizing Test Prioritization ..." Article: fse18main-id189-p doi:10.1145/3236024.3236053
Zhou, Li ESEC/FSE '18: "An Empirical Study on Crash ..." Article: fse18main-id102-p doi:10.1145/3236024.3236030
Zhou, Minghui ESEC/FSE '18: "Be Careful of When: An Empirical ..." Article: fse18main-id215-p doi:10.1145/3236024.3236054
Zhu, Jiaxin ESEC/FSE '18: "Be Careful of When: An Empirical ..." Article: fse18main-id215-p doi:10.1145/3236024.3236054 ESEC/FSE '18: "How Are Spreadsheet Templates ..." Article: fse18nier-id14-p doi:10.1145/3236024.3264834
Zhu, Linjie ESEC/FSE '18: "AppFlow: Using Machine Learning ..." Article: fse18main-id219-p doi:10.1145/3236024.3236055
Zhu, Zhiliang ESEC/FSE '18: "Do the Dependency Conflicts ..." Article: fse18main-id242-p doi:10.1145/3236024.3236056
Zorin, Vasilii ESEC/FSE '18: "Design and Validation of Precooked ..." Article: fse18ind-id16-p doi:10.1145/3236024.3275530
Zou, Ying ESEC/FSE '18: "Winning the App Production ..." Article: fse18main-id190-p doi:10.1145/3236024.3236044

464 authors

proc time: 0.51