NJR 2019
Mon 11 - Fri 15 November 2019
San Diego, California, United States
co-located with
ASE 2019
Toggle navigation
Attending
Venue: Hilton San Diego Mission Valley
Program
Complete Program
Your Program
Mon 11 Nov
Tue 12 Nov
Wed 13 Nov
Thu 14 Nov
Fri 15 Nov
Track/Call
Organization
NJR 2019 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
NJR 2019
NJR 2019
NJR 2018
NJR 2017
Sign in
Sign up
ASE 2019
(
series
) /
NJR 2019 (
series
) /
Hilton San Diego Mission Valley
/
Room information: Cortez 1
Venue
Hilton San Diego Mission Valley
Room name
Cortez 1
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-08:00) Tijuana, Baja California
.
Use conference time zone: (GMT-08:00) Tijuana, Baja California
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Tue 12 Nov
Displayed time zone:
Tijuana, Baja California
change
10:40 - 12:20
Testing and Coverage
ASE Research Papers
/
ASE Demonstrations
/
ASE Journal First Presentations
/
ASE Industry Showcase
at
Cortez 1
Chair(s):
Jonathan Bell
George Mason University
10:40
20m
Talk
Automatic Self-Validation for Code Coverage Profilers
ASE Research Papers
Yibiao Yang
Huazhong University of Science and Technology
,
Yanyan Jiang
Nanjing University
,
Zhiqiang Zuo
Nanjing University, China
,
Yang Wang
Nanjing University
,
Hao Sun
Unaffiliated
,
Hongmin Lu
Nanjing University
,
Yuming Zhou
Nanjing University
,
Baowen Xu
Nanjing University
Pre-print
11:00
20m
Talk
Efficient Test Generation Guided by Field Coverage Criteria
ASE Research Papers
Ariel Godio
Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
,
Valeria Bengolea
Dept. of Computer Science FCEFQyN, University of Rio Cuarto
,
Pablo Ponzio
Dept. of Computer Science FCEFQyN, University of Rio Cuarto
,
Nazareno Aguirre
Dept. of Computer Science FCEFQyN, University of Rio Cuarto
,
Marcelo F. Frias
Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
11:20
20m
Talk
Exploring Output-Based Coverage for Testing PHP Web Applications
ASE Journal First Presentations
Hung Viet Nguyen
Google LLC, USA
,
Hung Dang Phan
ECpE Department, Iowa State University
,
Christian Kästner
Carnegie Mellon University
,
Tien N. Nguyen
University of Texas at Dallas
Link to publication
11:40
20m
Talk
PHANTA: Diversified Test Code Quality Measurement for Modern Software Development
ASE Industry Showcase
Susumu Tokumoto
Fujitsu Laboratories Ltd.
,
Kuniharu Takayama
Fujitsu Laboratories Ltd.
Media Attached
12:00
10m
Demonstration
TestCov: Robust Test-Suite Execution and Coverage Measurement
ASE Demonstrations
Dirk Beyer
LMU Munich
,
Thomas Lemberger
LMU Munich
Pre-print
Media Attached
File Attached
12:10
10m
Demonstration
VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization
ASE Demonstrations
Chijin Zhou
Tsinghua University
,
Mingzhe Wang
Tsinghua University
,
Jie Liang
Tsinghua University
,
Zhe Liu
Nanjing University of Aeronautics and Astronautics
,
Chengnian Sun
Waterloo University
,
Yu Jiang
Tsinghua University
13:40 - 15:20
Testing and Verification
ASE Research Papers
/
ASE Demonstrations
/
ASE Industry Showcase
at
Cortez 1
Chair(s):
Weihang Wang
University at Buffalo, SUNY
13:40
20m
Talk
Systematically Covering Input Structure
ASE Research Papers
Nikolas Havrikov
CISPA Helmholtz Center for Information Security
,
Andreas Zeller
CISPA Helmholtz Center for Information Security
Pre-print
14:00
20m
Talk
SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs
ASE Research Papers
Devika Sondhi
IIIT Delhi
,
Rahul Purandare
IIIT-Delhi
Pre-print
14:20
20m
Talk
Detecting Error-Handling Bugs without Error Specification Input
ASE Research Papers
Zhouyang Jia
National University of Defense Technology
,
Shanshan Li
National University of Defense Technology
,
Tingting Yu
University of Kentucky
,
Liao Xiangke
National University of Defense Technology, China
,
Ji Wang
National University of Defense Technology
,
Xiaodong Liu
National University of Defense Technology
,
Yunhuai Liu
Peking University
14:40
20m
Talk
Test Automation and its Limitations
ASE Industry Showcase
Ahyoung Sung
Samsung Electronics
,
Yangsu Kim
Samsung Electronics
,
Sangjun Kim
Samsung Electronics
,
Jongin Kim
Samsung Electronics
,
Neo Jang
Samsung Electronics
15:00
10m
Talk
Grading-Based Test Suite Augmentation
ASE Research Papers
Jonathan Osei-Owusu
University of Illinois at Urbana-Champaign
,
Angello Astorga
University of Illinois at Urbana-Champaign
,
Liia Butler
University of Illinois at Urbana-Champaign
,
Tao Xie
Peking University
,
Geoffrey Challen
University of Illinois at Urbana-Champaign
15:10
10m
Demonstration
MutAPK: Source-Codeless Mutant Generation for Android Apps
ASE Demonstrations
Camilo Escobar-Velásquez
Universidad de los Andes
,
Michael Osorio-Riaño
Universidad de los Andes
,
Mario Linares-Vásquez
Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia
16:00 - 17:40
Testing and Visualization
ASE Demonstrations
/
ASE Research Papers
/
ASE Journal First Presentations
at
Cortez 1
Chair(s):
Amin Alipour
University of Houston
16:00
20m
Talk
History-Guided Configuration Diversification for Compiler Test-Program Generation
ACM SIGSOFT Distinguished Paper Award
ASE Research Papers
Junjie Chen
Tianjin University
,
Guancheng Wang
Peking University
,
Dan Hao
Peking University
,
Yingfei Xiong
Peking University
,
Hongyu Zhang
The University of Newcastle
,
Lu Zhang
Peking University
16:20
20m
Talk
Data-Driven Compiler Testing and Debugging
ASE Research Papers
Junjie Chen
Tianjin University
16:40
20m
Talk
Targeted Example Generation for Compilation Errors
ASE Research Papers
Umair Z. Ahmed
National University of Singapore
,
Renuka Sindhgatta
Queensland University of Technology, Australia
,
Nisheeth Srivastava
Indian Institute of Technology, Kanpur
,
Amey Karkare
IIT Kanpur
Link to publication
Pre-print
17:00
20m
Talk
Lightweight Assessment of Test-Case Effectiveness using Source-Code-Quality Indicators
ASE Journal First Presentations
Giovanni Grano
University of Zurich
,
Fabio Palomba
Department of Informatics, University of Zurich
,
Harald Gall
University of Zurich
Link to publication
Pre-print
17:20
10m
Demonstration
Visual Analytics for Concurrent Java Executions
ASE Demonstrations
Cyrille Artho
KTH Royal Institute of Technology, Sweden
,
Monali Pande
KTH Royal Institute of Technology
,
Qiyi Tang
University of Oxford
17:30
10m
Demonstration
NeuralVis: Visualizing and Interpreting Deep Learning Models
ASE Demonstrations
Xufan Zhang
State Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China
,
Ziyue Yin
State Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China
,
Yang Feng
University of California, Irvine
,
Qingkai Shi
Hong Kong University of Science and Technology
,
Jia Liu
State Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China
,
Zhenyu Chen
Nanjing University
Wed 13 Nov
Displayed time zone:
Tijuana, Baja California
change
10:40 - 12:20
Testing and Program Analysis
ASE Research Papers
/
ASE Demonstrations
at
Cortez 1
Chair(s):
Jun Sun
Singapore Management University, Singapore
10:40
20m
Talk
Regexes are Hard: Decision-making, Difficulties, and Risks in Programming Regular Expressions
ACM SIGSOFT Distinguished Paper Award
ASE Research Papers
Louis G. Michael IV
Virginia Tech
,
James Donohue
University of Bradford
,
James C. Davis
Virginia Tech, USA
,
Dongyoon Lee
Stony Brook University
,
Francisco Servant
Virginia Tech
Pre-print
File Attached
11:00
20m
Talk
Testing Regex Generalizability And Its Implications: A Large-Scale Many-Language Measurement Study
ASE Research Papers
James C. Davis
Virginia Tech, USA
,
Daniel Moyer
Virginia Tech
,
Ayaan M. Kazerouni
Virginia Tech
,
Dongyoon Lee
Stony Brook University
Pre-print
File Attached
11:20
20m
Talk
Accurate String Constraints Solution Counting with Weighted Automata
ASE Research Papers
Elena Sherman
Boise State University
,
Andrew Harris
Boise State University
11:40
20m
Talk
Subformula Caching for Model Counting and Quantitative Program Analysis
ASE Research Papers
William Eiers
University of California at Santa Barbara, USA
,
Seemanta Saha
University of California Santa Barbara
,
Tegan Brennan
University of California, Santa Barbara
,
Tevfik Bultan
University of California, Santa Barbara
12:00
10m
Demonstration
SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs
ASE Demonstrations
Xutong Ma
Institute of Software, Chinese Academy of Sciences
,
Jiwei Yan
Institute of Software, Chinese Academy of Sciences
,
Yaqi Li
Institute of Software, Chinese Academy of Sciences
,
Jun Yan
Institute of Software, Chinese Academy of Sciences
,
Jian Zhang
Institute of Software, Chinese Academy of Sciences
12:10
10m
Demonstration
FPChecker: Detecting Floating-Point Exceptions in GPU Applications
ASE Demonstrations
Ignacio Laguna
Lawrence Livermore National Laboratory
13:40 - 15:20
Verification and Bug Detection
ASE Demonstrations
/
ASE Research Papers
at
Cortez 1
Chair(s):
Raghavan Komondoor
Indian Institute of Science, Bangalore
13:40
20m
Talk
Mutation Analysis for Coq
ASE Research Papers
Ahmet Celik
The University of Texas at Austin
,
Karl Palmskog
University of Texas at Austin
,
Marinela Parovic
The University of Texas at Austin
,
Emilio Jesús Gallego Arias
MINES ParisTech
,
Milos Gligoric
The University of Texas at Austin
14:00
20m
Talk
Verifying Arithmetic in Cryptographic C Programs
ASE Research Papers
Jiaxiang Liu
Shenzhen University
,
Xiaomu Shi
Shenzhen University
,
Ming-Hsien Tsai
Academia Sinica, Taiwan
,
Bow-Yaw Wang
Academia Sinica
,
Bo-Yin Yang
Academia Sinica
Pre-print
14:20
20m
Talk
Model checking embedded control software using OS-in-the-loop CEGAR
ASE Research Papers
Dongwoo Kim
Kyungpook National University
,
Yunja Choi
Kyungpook National University
Pre-print
14:40
20m
Talk
Get rid of inline assembly through verification-oriented lifting
ASE Research Papers
Frédéric Recoules
CEA LIST
,
Sébastien Bardin
CEA LIST
,
Richard Bonichon
CEA LIST
,
Laurent Mounier
Université Grenoble Alpes
,
Marie-Laure Potet
Université Grenoble Alpes
DOI
Pre-print
15:00
10m
Demonstration
VeriAbs : Verification by Abstraction and Test Generation
ASE Demonstrations
Mohammad Afzal
Tata Cosultancy Services
,
A Asia
Tata Cosultancy Services
,
Avriti Chauhan
Tata Cosultancy Services
,
Bharti Chimdyalwar
Tata Consultancy Services
,
Priyanka Darke
Tata Consultancy Services
,
Advaita Datar
Tata Consultancy Services Ltd
,
Shrawan Kumar
Tata Cosultancy Services
,
R Venkatesh
Tata Research Development and Design Centre
15:10
10m
Demonstration
SGUARD: A Feature-based Clustering Tool for Effective Spreadsheet Defect Detection
ASE Demonstrations
Da Li
State Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University, Nanjing, China
,
Huiyan Wang
State Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University, Nanjing, China
,
Chang Xu
Nanjing University
,
Ruiqing Zhang
Search Tech. Center Asia, Microsoft, Suzhou, China
,
Shing-Chi Cheung
Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
,
Xiaoxing Ma
State Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University
16:00 - 17:40
Prediction
ASE Research Papers
/
ASE Journal First Presentations
at
Cortez 1
Chair(s):
Xin Xia
Monash University
16:00
20m
Talk
Predicting Licenses for Changed Source Code
ASE Research Papers
Xiaoyu Liu
Department of Computer Science and Engineering, Southern Methodist University
,
Liguo Huang
Dept. of Computer Science, Southern Methodist University, Dallas, TX, 75205
,
Jidong Ge
State Key Laboratory for Novel Software and Technology, Nanjing University
,
Vincent Ng
Human Language Technology Research Institute, University of Texas at Dallas, Richardson, TX 75083-0688
16:20
20m
Talk
Empirical evaluation of the impact of class overlap on software defect prediction
ASE Research Papers
Lina Gong
China University of Mining and Technology
,
Shujuan Jiang
China University of Mining and Technology
,
Rongcun Wang
China University of Mining and Technology
,
Li Jiang
China University of Mining and Technology
16:40
20m
Talk
Combining Program Analysis and Statistical Language Model for Code Statement Completion
ASE Research Papers
Son Nguyen
The University of Texas at Dallas
,
Tien N. Nguyen
University of Texas at Dallas
,
Yi Li
New Jersey Institute of Technology, USA
,
Shaohua Wang
New Jersey Institute of Technology, USA
17:00
20m
Talk
Balancing the trade-off between accuracy and interpretability in software defect prediction
ASE Journal First Presentations
Toshiki Mori
Corporate Software Engineering & Technology Center, Toshiba Corporation
,
Naoshi Uchihira
School of Knowledge Science, Japan Advanced Institute of Science and Technology (JAIST)
Link to publication
File Attached
17:20
20m
Talk
Fine-grained just-in-time defect prediction
ASE Journal First Presentations
Luca Pascarella
Delft University of Technology
,
Fabio Palomba
Department of Informatics, University of Zurich
,
Alberto Bacchelli
University of Zurich
Link to publication
Thu 14 Nov
Displayed time zone:
Tijuana, Baja California
change
10:40 - 12:20
Concurrency
ASE Research Papers
/
ASE Demonstrations
at
Cortez 1
Chair(s):
Elena Sherman
Boise State University
10:40
20m
Talk
MAP-Coverage: a Novel Coverage Criterion for Testing Thread-Safe Classes
ASE Research Papers
Zan Wang
College of Intelligence and Computing, Tianjin University
,
Yingquan Zhao
College of Intelligence and Computing, Tianjin University
,
Shuang Liu
College of Intelligence and Computing, Tianjin University
,
Jun Sun
Singapore Management University, Singapore
,
Xiang Chen
School of Information Science and Technology, Nantong University
,
Huarui Lin
College of Intelligence and Computing, Tianjin University
11:00
20m
Talk
Automating Non-Blocking Synchronization In Concurrent Data Abstractions
ASE Research Papers
Jiange Zhang
University of Colorado Colorado Springs
,
Qing Yi
University of Colorado Colorado Springs
,
Damian Dechev
University of Central Florida
Pre-print
11:20
20m
Talk
Automating CUDA Synchronization via Program Transformation
ASE Research Papers
Mingyuan Wu
Southern University of Science and Technology
,
Lingming Zhang
The University of Texas at Dallas
,
Cong Liu
Eindhoven University of Technology
,
Shin Hwei Tan
,
Yuqun Zhang
Southern University of Science and Technology
11:40
20m
Talk
Efficient Transaction-Based Deterministic Replay for Multi-threaded Programs
ASE Research Papers
Ernest Bota Pobee
City University of Hong Kong
,
Xiupei Mei
City University of Hong Kong
,
Wing-Kwong Chan
City University of Hong Kong, Hong Kong
12:00
10m
Demonstration
VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-Threaded Programs with Lazy-CSeq
ASE Demonstrations
Bernd Fischer
Stellenbosch University
,
Salvatore La Torre
Università degli Studi di Salerno
,
Gennaro Parlato
University of Molise
12:10
10m
Demonstration
ConVul: An Effective Tool for Detecting Concurrency Vulnerabilities
ASE Demonstrations
Ruijie Meng
University of Chinese Academy of Sciences
,
Biyun Zhu
University of Chinese Academy of Sciences
,
Hao Yun
University of Chinese Academy of Sciences
,
Haicheng Li
University of Chinese Academy of Sciences
,
Yan Cai
Institute of Software, Chinese Academy of Sciences
,
Zijiang Yang
Western Michigan University
13:40 - 15:20
Program Analysis
ASE Research Papers
/
ASE Demonstrations
at
Cortez 1
Chair(s):
Coen De Roover
Vrije Universiteit Brussel
13:40
20m
Talk
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation
ASE Research Papers
Brandon Paulsen
University of Southern California
,
Chungha Sung
University of Southern California
,
Peter Peterson
University of Minnesota Duluth
,
Chao Wang
USC
14:00
20m
Talk
Fine-grain memory object representation in symbolic execution
ASE Research Papers
Martin Nowack
Imperial College London
14:20
20m
Talk
RENN: Efficient Reverse Execution with Neural-Network-assisted Alias Analysis
ASE Research Papers
Dongliang Mu
Nanjing University
,
Wenbo Guo
The Pennsylvania State University
,
Alejandro Cuevas
The Pennsylvania State University
,
Yueqi Chen
The Pennsylvania State University
,
Jinxuan Gai
The Pennsylvania State University
,
Xinyu Xing
The Pennsylvania State University
,
Bing Mao
Nanjing University
,
Chengyu Song
UC Riverside
14:40
20m
Talk
Batch Alias Analysis
ASE Research Papers
Jyothi Vedurada
IIT Madras
,
V Krishna Nandivada
IIT Madras
Pre-print
15:00
10m
Demonstration
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
ASE Demonstrations
Mark Mossberg
Trail of Bits
,
Felipe Manzano
Trail of Bits
,
Eric Hennenfent
Trail of Bits
,
Alex Groce
Northern Arizona University
,
Gustavo Grieco
Trail of Bits
,
Josselin Feist
Trail of Bits
,
Trent Brunson
Trail of Bits
,
Artem Dinaburg
Trail of Bits
Media Attached
15:10
10m
Demonstration
BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules
ASE Demonstrations
Pavan Kumar Chittimalli
TCS Research
,
Kritika Anand
TCS Research
,
Shrishti Pradhan
TCS Research
,
Sayandeep Mitra
TCS Research
,
Chandan Prakash
TCS Research
,
Rohit Shere
TCS Research
,
Ravindra Naik
TCS Research, TRDDC, India
16:00 - 17:40
Emerging Domains
ASE Demonstrations
/
ASE Journal First Presentations
/
ASE Research Papers
at
Cortez 1
Chair(s):
Joshua Garcia
University of California, Irvine
16:00
20m
Talk
Improving the Decision-Making Process of Self-Adaptive Systems by Accounting for Tactic Volatility
ASE Research Papers
Jeffrey Palmerino
Rochester Institute of Technology
,
Qi Yu
Rochester Institute of Technology
,
Travis Desell
University of North Dakota
,
Daniel Krutz
Rochester Institute of Technology
Pre-print
16:20
20m
Talk
Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences
ASE Research Papers
Yuqi Chen
Singapore University of Technology and Design, Singapore
,
Chris Poskitt
Singapore University of Technology and Design
,
Jun Sun
Singapore Management University, Singapore
,
Sridhar Adepu
Singapore University of Technology and Design, Singapore
,
Fan Zhang
Zhejiang University, Zhejiang Lab, and Alibaba-Zhejiang University Joint Institute of Frontier Technologies, China
DOI
Pre-print
File Attached
16:40
20m
Talk
Uncertainty-wise Test Case Generation and Minimization for Cyber-Physical Systems
ASE Journal First Presentations
Man Zhang
Kristiania University
,
Shaukat Ali
Simula Research Lab
,
Tao Yue
Nanjing University of Aeronautics and Astronautics & Simula Research Laboratory
Link to publication
17:00
20m
Talk
Finding Trends in Software Research
ASE Journal First Presentations
George Mathew
Department of Computer Science, North Carolina State University
,
Amritanshu Agrawal
Wayfair
,
Tim Menzies
North Carolina State University
Link to publication
17:20
10m
Demonstration
XRaSE: Towards Virtually Tangible Software using Augmented Reality
ASE Demonstrations
Rohit Mehra
Accenture Labs, India
,
Vibhu Saujanya Sharma
Accenture Labs
,
Vikrant Kaulgud
Accenture Labs, India
,
Sanjay Podder
Accenture
17:30
10m
Demonstration
MuSC: A Tool for Mutation Testing of Ethereum Smart Contract
ASE Demonstrations
Zixin Li
Nanjing University
,
Haoran Wu
State Key Laboratory for Novel Software Technology, Nanjing University
,
Jiehui Xu
Nanjing University
,
Xingya Wang
State Key Laboratory for Novel Software Technology, Nanjing University
,
Lingming Zhang
The University of Texas at Dallas
,
Zhenyu Chen
Nanjing University
Tue 12 Nov
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Cortez 1
ASE Research Papers + ASE Demonstrations + ASE Journal First Presentations + ASE Industry Showcase
Testing and Coverage
ASE Research Papers + ASE Demonstrations + ASE Industry Showcase
Testing and Verification
ASE Demonstrations + ASE Research Papers + ASE Journal First Presentations
Testing and Visualization
Wed 13 Nov
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Cortez 1
ASE Research Papers + ASE Demonstrations
Testing and Program Analysis
ASE Demonstrations + ASE Research Papers
Verification and Bug Detection
ASE Research Papers + ASE Journal First Presentations
Prediction
Thu 14 Nov
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Cortez 1
ASE Research Papers + ASE Demonstrations
Concurrency
ASE Research Papers + ASE Demonstrations
Program Analysis
ASE Demonstrations + ASE Journal First Presentations + ASE Research Papers
Emerging Domains
Tue 12 Nov
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Cortez 1
ASE Research Papers
Automatic Self-Validation for Code Coverage Profilers
10:40 - 11:00
ASE Research Papers
Efficient Test Generation Guided by Field Coverage Criteria
11:00 - 11:20
ASE Journal First Presentations
Exploring Output-Based Coverage for Testing PHP Web Applications
11:20 - 11:40
ASE Industry Showcase
PHANTA: Diversified Test Code Quality Measurement for Modern Software D ...
11:40 - 12:00
ASE Demonstrations
TestCov: Robust Test-Suite Execution and Coverage Measurement
12:00 - 12:10
ASE Demonstrations
VisFuzz: Understanding and Intervening Fuzzing with Interactive Visuali ...
12:10 - 12:20
ASE Research Papers
Systematically Covering Input Structure
13:40 - 14:00
ASE Research Papers
SEGATE: Unveiling Semantic Inconsistencies between Code and Specificati ...
14:00 - 14:20
ASE Research Papers
Detecting Error-Handling Bugs without Error Specification Input
14:20 - 14:40
ASE Industry Showcase
Test Automation and its Limitations
14:40 - 15:00
ASE Research Papers
Grading-Based Test Suite Augmentation
15:00 - 15:10
ASE Demonstrations
MutAPK: Source-Codeless Mutant Generation for Android Apps
15:10 - 15:20
ASE Research Papers
ACM SIGSOFT Distinguished Paper Award
History-Guided Configuration Diversification for Compiler Test-Program ...
16:00 - 16:20
ASE Research Papers
Data-Driven Compiler Testing and Debugging
16:20 - 16:40
ASE Research Papers
Targeted Example Generation for Compilation Errors
16:40 - 17:00
ASE Journal First Presentations
Lightweight Assessment of Test-Case Effectiveness using Source-Code-Qua ...
17:00 - 17:20
ASE Demonstrations
Visual Analytics for Concurrent Java Executions
17:20 - 17:30
ASE Demonstrations
NeuralVis: Visualizing and Interpreting Deep Learning Models
17:30 - 17:40
Wed 13 Nov
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Cortez 1
ASE Research Papers
ACM SIGSOFT Distinguished Paper Award
Regexes are Hard: Decision-making, Difficulties, and Risks in Programmi ...
10:40 - 11:00
ASE Research Papers
Testing Regex Generalizability And Its Implications: A Large-Scale Many ...
11:00 - 11:20
ASE Research Papers
Accurate String Constraints Solution Counting with Weighted Automata
11:20 - 11:40
ASE Research Papers
Subformula Caching for Model Counting and Quantitative Program Analysis
11:40 - 12:00
ASE Demonstrations
SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs
12:00 - 12:10
ASE Demonstrations
FPChecker: Detecting Floating-Point Exceptions in GPU Applications
12:10 - 12:20
ASE Research Papers
Mutation Analysis for Coq
13:40 - 14:00
ASE Research Papers
Verifying Arithmetic in Cryptographic C Programs
14:00 - 14:20
ASE Research Papers
Model checking embedded control software using OS-in-the-loop CEGAR
14:20 - 14:40
ASE Research Papers
Get rid of inline assembly through verification-oriented lifting
14:40 - 15:00
ASE Demonstrations
VeriAbs : Verification by Abstraction and Test Generation
15:00 - 15:10
ASE Demonstrations
SGUARD: A Feature-based Clustering Tool for Effective Spreadsheet Defec ...
15:10 - 15:20
ASE Research Papers
Predicting Licenses for Changed Source Code
16:00 - 16:20
ASE Research Papers
Empirical evaluation of the impact of class overlap on software defect ...
16:20 - 16:40
ASE Research Papers
Combining Program Analysis and Statistical Language Model for Code Stat ...
16:40 - 17:00
ASE Journal First Presentations
Balancing the trade-off between accuracy and interpretability in softwa ...
17:00 - 17:20
ASE Journal First Presentations
Fine-grained just-in-time defect prediction
17:20 - 17:40
Thu 14 Nov
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Cortez 1
ASE Research Papers
MAP-Coverage: a Novel Coverage Criterion for Testing Thread-Safe Classes
10:40 - 11:00
ASE Research Papers
Automating Non-Blocking Synchronization In Concurrent Data Abstractions
11:00 - 11:20
ASE Research Papers
Automating CUDA Synchronization via Program Transformation
11:20 - 11:40
ASE Research Papers
Efficient Transaction-Based Deterministic Replay for Multi-threaded Pro ...
11:40 - 12:00
ASE Demonstrations
VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-Threaded Programs with ...
12:00 - 12:10
ASE Demonstrations
ConVul: An Effective Tool for Detecting Concurrency Vulnerabilities
12:10 - 12:20
ASE Research Papers
Debreach: Mitigating Compression Side Channels via Static Analysis and ...
13:40 - 14:00
ASE Research Papers
Fine-grain memory object representation in symbolic execution
14:00 - 14:20
ASE Research Papers
RENN: Efficient Reverse Execution with Neural-Network-assisted Alias An ...
14:20 - 14:40
ASE Research Papers
Batch Alias Analysis
14:40 - 15:00
ASE Demonstrations
Manticore: A User-Friendly Symbolic Execution Framework for Binaries an ...
15:00 - 15:10
ASE Demonstrations
BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules
15:10 - 15:20
ASE Research Papers
Improving the Decision-Making Process of Self-Adaptive Systems by Accou ...
16:00 - 16:20
ASE Research Papers
Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences
16:20 - 16:40
ASE Journal First Presentations
Uncertainty-wise Test Case Generation and Minimization for Cyber-Physic ...
16:40 - 17:00
ASE Journal First Presentations
Finding Trends in Software Research
17:00 - 17:20
ASE Demonstrations
XRaSE: Towards Virtually Tangible Software using Augmented Reality
17:20 - 17:30
ASE Demonstrations
MuSC: A Tool for Mutation Testing of Ethereum Smart Contract
17:30 - 17:40
x
Wed 14 Aug 22:34