Journal-FirstESEC/FSE 2018
ESEC/FSE 2018 will continue partnership with prestigious Software Engineering journals to incorporate journal-first papers into its research program. Authors of journal-first papers accepted in the partnering journals are invited to submit their work to be presented at ESEC/FSE 2018. This will allow authors of journal-first papers to present their work to the community.
The journals that support the journal-first model as partners with ESEC/FSE 2018 are:
-
IEEE Transaction of Software Engineering (IEEE TSE)
-
ACM Transactions on Software Engineering and Methodology (TOSEM)
-
Empirical Software Engineering
Tue 6 Nov Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:00: Concurrency and RacesResearch Papers at Horizons 10-11 Chair(s): Willem VisserStellenbosch University | |||
10:30 - 10:52 Talk | CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining Research Papers JieLu , Feng LiInstitute of Computing Technology at Chinese Academy of Sciences, China, Lian LiInstitute of Computing Technology at Chinese Academy of Sciences, China, Xiaobing FengICT CAS | ||
10:52 - 11:15 Talk | Testing Multithreaded Programs via Thread Speed Control Research Papers Dongjie Chen, Yanyan JiangNanjing University, Chang XuNanjing University, Xiaoxing MaNanjing University, Jian LuNanjing University | ||
11:15 - 11:37 Talk | Data Race Detection on Compressed Traces Research Papers Dileep KiniUniversity of Illinois at Urbana-Champaign, Umang MathurUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign | ||
11:37 - 12:00 Talk | Practical AJAX Race Detection for JavaScript Web Applications Research Papers Christoffer Quist AdamsenAarhus University, Anders MøllerAarhus University, Saba AlimadadiNortheastern University, Frank TipNortheastern University |
10:30 - 12:00: Log MiningResearch Papers / Journal-First at Horizons 6-9F Chair(s): Dongyoon LeeVirginia Tech, USA | |||
10:30 - 10:52 Talk | Studying and Detecting Log-Related Issues Journal-First Mehran Hassani, Weiyi ShangConcordia University, Canada, Emad ShihabConcordia University, Nikolaos TsantalisConcordia University, Canada DOI | ||
10:52 - 11:15 Talk | VT-Revolution: Interactive Programming Video Tutorial Authoring and Watching System Journal-First Lingfeng Bao Zhejiang University City College, Zhenchang XingAustralia National University, Xin XiaMonash University, David LoSingapore Management University DOI | ||
11:15 - 11:37 Talk | Using Finite-State Models for Log Differencing Research Papers Hen AmarTel Aviv University, Israel, Lingfeng Bao Zhejiang University City College, Nimrod BusanyTel Aviv University, Israel, David LoSingapore Management University, Shahar MaozTel Aviv University | ||
11:37 - 12:00 Talk | Identifying Impactful Service System Problems via Log Analysis Research Papers Shilin HeChinese University of Hong Kong, Qingwei LinMicrosoft, China, Jian-Guang LouMicrosoft Research, Hongyu ZhangThe University of Newcastle, Michael Lyu, Dongmei ZhangMicrosoft Research, China |
13:30 - 15:00: PerformanceResearch Papers / Journal-First at Horizons 10-11 Chair(s): Zhendong SuETH Zurich | |||
13:30 - 13:52 Talk | CHiP: A Configurable Hybrid Parallel Covering Array Constructor Journal-First DOI | ||
13:52 - 14:15 Talk | Learning to Sample: Exploiting Similarities Across Environments to Learn Performance Models for Configurable Systems Research Papers Pooyan JamshidiUniversity of South Carolina, Miguel VelezCarnegie Mellon University, USA, Christian KaestnerCarnegie Mellon University, Norbert SiegmundBauhaus-University Weimar | ||
14:15 - 14:37 Talk | Performance Comprehension at WiredTiger Research Papers Alexandra (Sasha) FedorovaUniversity of British Columbia, Craig MustardUniversity of British Columbia, Canada, Ivan BeschastnikhComputer Science, University of British Columbia, Julia RubinUniversity of British Columbia, Augustine WongUniversity of British Columbia, Canada, Svetozar MiucinUniversity of British Columbia, Canada, Louis YeUniversity of British Columbia, Canada | ||
14:37 - 15:00 Talk | MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C Research Papers |
13:30 - 15:00: Software Analysis IResearch Papers / Journal-First at Horizons 5 Chair(s): Sebastian ElbaumUniversity of Nebraska-Lincoln, USA | |||
13:30 - 13:52 Talk | On Accelerating Source Code Analysis At Massive Scale Journal-First DOI | ||
13:52 - 14:15 Talk | RefiNym: Using Names to Refine Types Research Papers Santanu Kumar DashUniversity College London, UK, Miltiadis AllamanisMicrosoft Research, Cambridge, Earl T. Barr | ||
14:15 - 14:37 Talk | Darwinian Data Structure Selection Research Papers Michail BasiosUniversity College London, Lingbo LiUniversity College London, UK, Fan WuUniversity College London, UK, Leslie KanthanUniversity College London, UK, Earl T. Barr DOI Pre-print | ||
14:37 - 15:00 Talk | Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity Research Papers Yue LiAarhus University, Denmark, Tian TanAarhus University, Denmark, Anders MøllerAarhus University, Yannis SmaragdakisUniversity of Athens |
13:30 - 15:00: Deep LearningResearch Papers at Horizons 6-9F Chair(s): David RosenblumNational University of Singapore | |||
13:30 - 13:52 Talk | Deep Learning Type Inference Research Papers Vincent HellendoornUniversity of California at Davis, USA, Christian BirdMicrosoft Research, Earl T. Barr, Miltiadis AllamanisMicrosoft Research, Cambridge | ||
13:52 - 14:15 Talk | DeepSim: Deep Learning Code Functional Similarity Research Papers | ||
14:15 - 14:37 Talk | Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces Research Papers Jordan HenkelUniversity of Wisconsin–Madison, Shuvendu LahiriMicrosoft Research, Ben LiblitUniversity of Wisconsin–Madison, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc. | ||
14:37 - 15:00 Talk | MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection Research Papers Shiqing MaPurdue University, USA, Yingqi LiuPurdue University, USA, Wen-Chuan LeePurdue University, Xiangyu ZhangPurdue University, Ananth GramaPurdue University, USA |
15:30 - 17:00: Developer StudiesResearch Papers / Journal-First at Horizons 10-11 Chair(s): Thomas LaTozaGeorge Mason University | |||
15:30 - 15:52 Talk | Programmers do not Favor Lambda Expressions for Concurrent Object-Oriented Code Journal-First DOI | ||
15:52 - 16:15 Talk | How Do Developers Utilize Source Code from Stack Overflow? Journal-First Yuhao Wu, Shaowei WangQueen's University, Cor-Paul BezemerUniversity of Alberta, Canada, Katsuro InoueOsaka University DOI | ||
16:15 - 16:37 Talk | Towards a Theory of Software Development Expertise Research Papers Pre-print | ||
16:37 - 17:00 Full-paper | What Makes a Code Change Easier to Review? An Empirical Investigation on Code Change Reviewability Research Papers Achyudh RamUniversity of Waterloo, Anand Ashok SawantDelft University of Technology, Marco CastelluccioMozilla Foundation, UK, Alberto BacchelliUniversity of Zurich Link to publication DOI Pre-print Media Attached |
15:30 - 17:00: Testing IResearch Papers / Journal-First at Horizons 5 Chair(s): David LoSingapore Management University | |||
15:30 - 15:52 Talk | Identifying failure-causing schemas in the presence of multiple faults Journal-First Xintao Niu, Changhai Nie, Yu Lei, Hareton Leung, Xiaoyin WangUniversity of Texas at San Antonio, USA DOI | ||
15:52 - 16:15 Talk | Singularity: Pattern Fuzzing for Worst Case Complexity Research Papers Jiayi WeiUniversity of Texas at Austin, Jia ChenUniversity of Texas at Austin, Yu FengUniversity of California, Santa Barbara, USA, Kostas FerlesUT Austin, Isil DilligUT Austin DOI Pre-print | ||
16:15 - 16:37 Talk | Bug Synthesis: Challenging Bug-Finding Tools with Deep Faults Research Papers Subhajit RoyIIT Kanpur, India, Awanish PandeyIIT Kanpur, India, Brendan Dolan-GavittNew York University, Yu HuNew York University, USA | ||
16:37 - 17:00 Talk | Modify, Enhance, Select: Co-Evolution of Combinatorial Models and Test Plans Research Papers |
15:30 - 15:52 Talk | Text Filtering and Ranking for Security Bug Report Prediction Journal-First Fayola PetersLero - The Irish Software Research Centre and University of Limerick, Thein Than Tun, Yijun YuThe Open University, UK, Bashar NuseibehThe Open University (UK) & Lero (Ireland) DOI | ||
15:52 - 16:15 Talk | STADS: Software Testing as Species Discovery Journal-First Marcel BöhmeMonash University DOI | ||
16:15 - 16:37 Talk | The Impact of Regular Expression Denial of Service (ReDoS) in Practice: An Empirical Study at the Ecosystem Scale Research Papers James C. DavisVirginia Tech, USA, Christy A. CoghlanVirginia Tech, USA, Francisco ServantVirginia Tech, Dongyoon LeeVirginia Tech, USA | ||
16:37 - 17:00 Talk | FraudDroid: Automated Ad Fraud Detection for Android Apps Research Papers Feng DongBeijing University of Posts and Telecommunications, China, Haoyu Wang, Li LiMonash University, Australia, Yao GuoPeking University, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Tianming LiuBeijing University of Posts and Telecommunications, China, Guoai Xu , Jacques KleinUniversity of Luxembourg, SnT |
Wed 7 Nov Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:00: Mobile AppsResearch Papers / Journal-First at Horizons 10-11 Chair(s): Shane McIntoshMcGill University | |||
10:30 - 10:52 Talk | Getting the Most from Map Data Structures in Android Journal-First Rubén Saborido InfantesDepartment of Computer Science and Software Engineering, Concordia University, Montreal, Rodrigo MoralesConcordia University, Foutse KhomhPolytechnique Montréal, Yann-Gaël GuéhéneucConcordia University and Polytechnique Montréal, Giuliano AntoniolPolytechnique Montréal DOI | ||
10:52 - 11:15 Talk | Successes, Challenges, and Rethinking – An Industrial Investigation on Crowdsourced Mobile Application Testing Journal-First Ruizhi Gao, Yabin Wang, Yang FengUniversity of California, Irvine, Zhenyu ChenNanjing University, W. Eric Wong DOI | ||
11:15 - 11:37 Talk | AppFlow: Using Machine Learning to Synthesize Robust, Reusable UI Tests Research Papers | ||
11:37 - 12:00 Talk | Winning the App Production Rally Research Papers Ehsan NoeiUniversity of Toronto, Daniel Alencar Da Costa Queen's University, Kingston, Ontario, Ying ZouQueen's University, Kingston, Ontario |
13:30 - 15:00: Software Maintenance IResearch Papers / Journal-First at Horizons 10-11 Chair(s): Christian BirdMicrosoft Research | |||
13:30 - 13:52 Talk | Use and Misuse of Continuous Integration Features: An Empirical Study of Projects that (mis)use Travis CI Journal-First DOI | ||
13:52 - 14:15 Research paper | One Size Does Not Fit All: An Empirical Study of Containerized Continuous Deployment Workflows Research Papers Yang ZhangNational University of Defense Technology, China, Bogdan VasilescuCarnegie Mellon University, Huaimin Wang, Vladimir FilkovUniversity of California at Davis, USA Pre-print | ||
14:15 - 14:37 Talk | Be Careful of When: An Empirical Study on Time-Related Misuse of Issue Tracking Data Research Papers Feifei TuPeking University, China, Jiaxin ZhuInstitute of Software at Chinese Academy of Sciences, China, Qimu ZhengPeking University, China, Minghui ZhouPeking University | ||
14:37 - 15:00 Talk | Do the Dependency Conflicts in My Project Matter? Research Papers Ying WangNortheastern University, China, Ming WenThe Hong Kong University of Science and Technology, Zhenwei LiuNortheastern University, China, Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Rui WangNortheastern University, China, Bo YangNortheastern University, China, Hai YuNortheastern University, China, Zhiliang ZhuNortheastern University, China, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology |
13:30 - 15:00: Software Analysis IIResearch Papers / Journal-First at Horizons 5 Chair(s): Myra CohenIowa State University | |||
13:30 - 13:52 Talk | A Systematic Evaluation of Static API-Misuse Detectors Journal-First Sven AmannTechnische Universität Darmstadt, Hoan NguyenIowa State University, Sarah NadiUniversity of Alberta, Tien N. NguyenUniversity of Texas at Dallas, Mira MeziniTU Darmstadt DOI | ||
13:52 - 14:15 Talk | Do Android Taint Analysis Tools Keep Their Promises? Research Papers Felix PauckPaderborn University, Germany, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Heike WehrheimPaderborn University | ||
14:15 - 14:37 Talk | Neural-Augmented Static Analysis of Android Communication Research Papers Jinman ZhaoUniversity of Wisconsin-Madison, USA, Aws AlbarghouthiUniversity of Wisconsin-Madison, Vaibhav RastogiUniversity of Wisconsin-Madison, USA, Somesh JhaUniversity of Wisconsin, Madison, Damien OcteauUniversity of Wisconsin and Pennsylvania State University | ||
14:37 - 15:00 Talk | Oreo: Detection of Clones in the Twilight Zone Research Papers Vaibhav SainiUniversity of California at Irvine, USA, Farima FarmahinifarahaniUniversity of California at Irvine, USA, Yadong LuUniversity of California at Irvine, USA, Pierre BaldiUniversity of California at Irvine, USA, Crista Lopes |
15:30 - 17:00: Symbolic Execution and Constraint SolvingResearch Papers at Horizons 10-11 Chair(s): Satish ChandraFacebook | |||
15:30 - 15:52 Talk | Concurrency Verification with Maximal Path Causality Research Papers | ||
15:52 - 16:15 Talk | Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks Research Papers | ||
16:15 - 16:37 Talk | Symbolic Execution with Existential Second-Order Constraints Research Papers Sergey MechtaevNational University of Singapore, Alberto GriggioFondazione Bruno Kessler, Alessandro CimattiFondazione Bruno Kessler, Abhik RoychoudhuryNational University of Singapore DOI Pre-print | ||
16:37 - 17:00 Talk | Parameterized Model Counting for String and Numeric Constraints Research Papers Abdulbaki AydinMicrosoft, USA, William EiersUniversity of California at Santa Barbara, USA, Lucas Bang, Tegan Brennan, Miroslav GavrilovUniversity of California at Santa Barbara, USA, Tevfik BultanUniversity of California, Santa Barbara, Fang YuNational Chengchi University |
15:30 - 17:00: MiningResearch Papers / Journal-First at Horizons 6-9F Chair(s): Hridesh RajanIowa State University | |||
15:30 - 15:52 Talk | Finding Better Active Learners for Faster Literature Reviews Journal-First DOI | ||
15:52 - 16:15 Talk | Mining Semantic Loop Idioms Journal-First Miltiadis AllamanisMicrosoft Research, Cambridge, Earl T. BarrUniversity College London, Christian BirdMicrosoft Research, Prem DevanbuUniversity of California, Mark MarronMicrosoft Research, Charles SuttonUniversity of Edinburgh DOI | ||
16:15 - 16:37 Talk | NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection Research Papers Pan BianRenmin University of China, China, Bin LiangRenmin University of China, China, Wenchang ShiRenmin University of China, China, Jianjun HuangRenmin University of China, China, Yan CaiInstitute of Software, Chinese Academy of Sciences | ||
16:37 - 17:00 Talk | Path-Based Function Embedding and Its Application to Error-Handling Specification Mining Research Papers Daniel DeFreezUniversity of California, Davis, Aditya V. ThakurUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis |
Thu 8 Nov Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:00: ModelsResearch Papers / Journal-First at Horizons 10-11 Chair(s): Mauricio AnicheDelft University of Technology, Netherlands | |||
10:30 - 10:52 Talk | The modular and feature toggle architectures of Google Chrome Journal-First DOI | ||
10:52 - 11:15 Talk | Applications of Psychological Science for Actionable Analytics Research Papers Di ChenNorth Carolina State University, USA, Wei Fu, Rahul KrishnaNC State University, Tim MenziesNorth Carolina State University | ||
11:15 - 11:37 Talk | Putback-Based Bidirectional Model Transformations Research Papers Xiao HeUniversity of Science and Technology Beijing, China, Zhenjiang HuNational Institute of Informatics | ||
11:37 - 12:00 Talk | Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT Research Papers Regina HebigChalmers University of Technology & University of Gothenburg, Christoph SeidlTechnische Universität Braunschweig, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden, John Kook PedersenIT University of Copenhagen, Denmark, Andrzej WąsowskiIT University of Copenhagen, Denmark |
10:30 - 12:00: Repair and SynthesisResearch Papers / Journal-First at Horizons 6-9F Chair(s): Shahar MaozTel Aviv University | |||
10:30 - 10:52 Talk | Machine Learning-Based Prototyping of Graphical User Interfaces for Mobile Apps Journal-First Kevin MoranCollege of William & Mary, Carlos Bernal-CárdenasWilliam and Mary, Michael Curcio, Richard Bonett, Denys PoshyvanykWilliam and Mary DOI Pre-print Media Attached | ||
10:52 - 11:15 Talk | Detecting Speech Act Types in Developer Question/Answer Conversations during Bug Repair Research Papers | ||
11:15 - 11:37 Research paper | Visual Web Test Repair Research Papers Andrea StoccoUniversity of British Columbia, Rahulkrishna YandrapallyUniversity of British Columbia, Canada, Ali MesbahUniversity of British Columbia Pre-print Media Attached | ||
11:37 - 12:00 Talk | Syntax-Guided Synthesis of Datalog Programs Research Papers Xujie SiUniversity of Pennsylvania, Woosuk LeeUniversity of Pennsylvania, USA, Richard ZhangUniversity of Pennsylvania, Aws AlbarghouthiUniversity of Wisconsin-Madison, Paraschos KoutrisUniversity of Wisconsin-Madison, USA, Mayur NaikUniversity of Pennsylvania |
13:30 - 15:00: Software Maintenance IIResearch Papers / Journal-First at Horizons 10-11 Chair(s): Emerson Murphy-HillNorth Carolina State University | |||
13:30 - 13:52 Talk | Automating Change-level Self-admitted Technical Debt Determination Journal-First Meng Yan, Xin XiaMonash University, Emad ShihabConcordia University, David LoSingapore Management University, Jianwei Yin, Xiaohu Yang DOI | ||
13:52 - 14:15 Talk | Large-Scale Study of Substitutability in the Presence of Effects Research Papers Jackson MaddoxIowa State University, USA, Yuheng LongIowa State University, Hridesh RajanIowa State University | ||
14:15 - 14:37 Talk | An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems Research Papers Yu GaoInstitute of Software, Chinese Academy of Sciences, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Feng QinOhio State University, USA, Chushu GaoInstitute of Software, Chinese Academy of Sciences, Dong WangInstitute of Software at Chinese Academy of Sciences, China, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, Ruirui HuangAlibaba Group, China, Li ZhouAlibaba Group, China, Yongming WuAlibaba Group, China | ||
14:37 - 15:00 Talk | Complementing Global and Local Contexts in Representing API Descriptions to Improve API Retrieval Tasks Research Papers Thanh NguyenIowa State University, Ngoc Tran, Hung Phan, Trong NguyenIowa State University, USA, Linh Truong, Trong NguyenIowa State University, USA, Hoan Anh NguyenIowa State University, USA, Tien N. NguyenUniversity of Texas at Dallas |
13:30 - 15:00: Probabilistic ReasoningResearch Papers at Horizons 5 Chair(s): Antonio FilieriImperial College London | |||
13:30 - 13:52 Talk | Phys: Probabilistic Physical Unit Assignment and Inconsistency Detection Research Papers Sayali KatePurdue University, USA, John-Paul OreUniversity of Nebraska-Lincoln, USA, Xiangyu ZhangPurdue University, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA, Zhaogui XuNanjing University, China Pre-print | ||
13:52 - 14:14 Talk | Testing Probabilistic Programming Systems Research Papers Saikat DuttaUniversity of Illinois at Urbana-Champaign, USA, Owolabi LegunsenUniversity of Illinois at Urbana-Champaign, Zixin HuangUniversity of Illinois at Urbana-Champaign, USA, Sasa MisailovicUniversity of Illinois at Urbana-Champaign | ||
14:14 - 14:36 Talk | Verifying the Long-Run Behavior of Probabilistic System Models in the Presence of Uncertainty Research Papers Yamilet R. Serrano LlerenaNational University of Singapore, Singapore, Marcel BöhmeMonash University, Marc Brüninknil, Singapore, Guoxin SuUniversity of Wollongong, Australia, David S. Rosenblum |
13:30 - 15:00: Debugging and Bug LocalizationResearch Papers at Horizons 6-9F Chair(s): Earlence FernandesUniversity of Michigan | |||
13:30 - 13:52 Talk | Automated Patch Extraction via Syntax- and Semantics-Aware Delta Debugging on Source Code Changes Research Papers Masatomo HashimotoChiba Institute of Technology, Japan, Akira MoriNational Institute of Advanced Industrial Science and Technology, Japan, Tomonori IzumidaIIJ Innovation Institute, Japan Link to publication DOI Authorizer link | ||
13:52 - 14:15 Talk | Feedback-Directed Differential Testing of Interactive Debuggers Research Papers | ||
14:15 - 14:37 Talk | Improving IR-Based Bug Localization with Context-Aware Query Reformulation Research Papers Pre-print | ||
14:37 - 15:00 Talk | How Should Compilers Explain Problems to Developers? Research Papers Titus BarikMicrosoft, Denae FordNorth Carolina State University, Emerson Murphy-HillNorth Carolina State University, Chris ParninNCSU Pre-print |
15:30 - 17:00: Ecosystems and CrowdsourcingResearch Papers / Journal-First at Horizons 10-11 Chair(s): Peter RigbyConcordia University, Montreal, Canada | |||
15:30 - 15:52 Talk | Comparison of release engineering practices in a large mature company and a startup Journal-First Eero Laukkanen, Maria PaasivaaraIT University of Copenhagen, Denmark & Aalto University, Finland, Juha Itkonen, Casper LasseniusAalto University, Finland and Simula Metropolitan Center for Digital Engineering, Norway DOI | ||
15:52 - 16:14 Talk | Microtask Programming Journal-First Thomas LaTozaGeorge Mason University, Arturo Di Lecce, Fabio Ricci, W. Ben Towne, Andre van der Hoek University of California, Irvine DOI | ||
16:14 - 16:36 Talk | Ecosystem-Level Determinants of Sustained Activity in Open-Source Projects: A Case Study of the PyPI Ecosystem Research Papers Marat ValievCarnegie Mellon University, USA, Bogdan VasilescuCarnegie Mellon University, Jim HerbslebCarnegie Mellon University |
15:30 - 17:00: Testing IIResearch Papers / Journal-First at Horizons 5 Chair(s): Tevfik BultanUniversity of California, Santa Barbara | |||
15:30 - 15:52 Talk | On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files Journal-First Tomasz Kuchta, Thibaud Lutellier, Edmund Wong, Lin TanUniversity of Waterloo , Cristian CadarImperial College London DOI | ||
15:52 - 16:15 Talk | Optimizing Test Prioritization via Test Distribution Analysis Research Papers Junjie ChenPeking University, Yiling LouPeking University, China, Lingming Zhang, Jianyi ZhouPeking University, China, Xiaoleng WangBaidu, China, Dan HaoPeking University, Lu ZhangPeking University | ||
16:15 - 16:37 Talk | How Well Are Regular Expressions Tested in the Wild? Research Papers | ||
16:37 - 17:00 Talk | Which Generated Test Failures Are Fault Revealing? Prioritizing Failures Based on Inferred Precondition Violations using PAF Research Papers Mijung KimHong Kong University of Science and Technology, China, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Sunghun KimHong Kong University of Science and Technology |
15:30 - 17:00: EnergyResearch Papers / Journal-First at Horizons 6-9F Chair(s): Diego GarbervetskyUniversity of Buenos Aires, Argentina | |||
15:30 - 16:00 Talk | Approximate Oracles and Synergy in Software Energy Search Spaces Journal-First Bobby R. Bruce, Justyna PetkeUniversity College London, Mark HarmanFacebook and University College London, Earl T. Barr DOI | ||
16:00 - 16:30 Talk | Detection of Energy Inefficiencies in Android Wear Watch Faces Research Papers | ||
16:30 - 17:00 Talk | Stochastic Energy Optimization for Mobile GPS Applications Research Papers Anthony CaninoSUNY Binghamton, Yu David LiuState University of New York (SUNY) Binghamton, Hidehiko MasuharaTokyo Institute of Technology |
Not scheduled yet
Not scheduled yet Talk | Inferring Extended Probabilistic Finite State Automaton Models from Software Executions Journal-First DOI |
Call for Papers
A journal-first paper submitted to ESEC/FSE 2018 must adhere to the following criteria:
-
The paper must have been already accepted by one of the journals from the above list and the original version of the paper must have been submitted to such journal no earlier than December 1st 2016.
-
The paper is in the scope of the conference.
-
The paper reports completely new research results or presents novel contributions that significantly extend and were not previously reported in prior work.
-
The paper does not extend prior work solely with additional proofs or algorithms (or other such details presented for completeness), additional empirical results, or minor enhancements or variants of the results presented in the prior work.
-
The paper has not been presented at, and is not under consideration for, journal-first programs of other conferences.
How to submit
Authors of manuscripts that respect the above criteria are invited to submit a presentation proposal consisting of paper title, authors, abstract, and a pointer to the original journal paper. Moreover, they should include a justification on how the paper meets the eligibility criteria regarding the originality of the paper with respect to previous work of the authors presented at other conferences. If this is not applicable, authors must make an explicit statement about this. The submission (proposal and eligibility justification) must not exceed one page.
Proposals must be submitted electronically through the submission site available at:
https://easychair.org/conferences/?conf=esecfse2018jfp
Evaluation
Authors will be invited to present their paper at ESEC/FSE 2018 after a check that the paper is in scope to the conference. As the papers have been already reviewed and accepted by the journals, they will not be reviewed again for technical content.
Our plan is to include in the journal first program as many papers as possible; only in case an exceptionally high number of proposals is received, not all submissions might be selected. If needed, presentation proposals will be prioritized according to fit to the conference theme and structure of sessions.
Important Dates
-
Submission: May 30, 2018
-
Notification: June 30, 2018
-
Submissions close at 23:59 AoE (Anywhere on Earth, UTC-12)
Presentation
At least one author of each presentation accepted for the journal-first program must register and attend the conference to present the paper.
The journal-first manuscripts are published through the journals and will not be part of the ESEC/FSE 2018 proceedings. The journal-first papers will be listed in the conference program and ESEC/FSE 2018 participants will have access to the paper abstracts and a pointer to the journal publication outside the conference proceedings.