Analysis of JavaScript programs: Challenges and research trends

K Sun, S Ryu - ACM Computing Surveys (CSUR), 2017 - dl.acm.org
JavaScript has been a de facto standard language for client-side web programs, and now it
is expanding its territory to general purpose programs. In this article, we classify the client …

Discovering interacting artifacts from ERP systems

X Lu, M Nagelkerke, D Van De Wiel… - IEEE Transactions on …, 2015 - ieeexplore.ieee.org
Enterprise Resource Planning (ERP) systems are widely used to manage business
documents along a business processes and allow very detailed recording of event data of …

Systematic mapping study on MBT: tools and models

M Bernardino, EM Rodrigues, AF Zorzo… - IET …, 2017 - Wiley Online Library
Every year several contributions to the model‐based testing (MBT) field are published.
Therefore, to follow the evolution and trends of several tools and models available is difficult …

Leveraging existing tests in automated test generation for web applications

A Milani Fard, M Mirzaaghaei, A Mesbah - Proceedings of the 29th ACM …, 2014 - dl.acm.org
To test web applications, developers currently write test cases in frameworks such as
Selenium. On the other hand, most web test generation techniques rely on a crawler to …

SOSRepair: Expressive semantic search for real-world program repair

A Afzal, M Motwani, KT Stolee, Y Brun… - IEEE Transactions on …, 2019 - ieeexplore.ieee.org
Automated program repair holds the potential to significantly reduce software maintenance
effort and cost. However, recent studies have shown that it often produces low-quality …

Automatic mining of specifications from invocation traces and method invariants

I Krka, Y Brun, N Medvidovic - Proceedings of the 22nd ACM SIGSOFT …, 2014 - dl.acm.org
Software library documentation often describes individual methods' APIs, but not the
intended protocols and method interactions. This can lead to library misuse, and restrict …

Mining behavior models from user-intensive web applications

C Ghezzi, M Pezzè, M Sama… - Proceedings of the 36th …, 2014 - dl.acm.org
Many modern user-intensive applications, such as Web applications, must satisfy the
interaction requirements of thousands if not millions of users, which can be hardly fully …

Behavioral resource-aware model inference

T Ohmann, M Herzberg, S Fiss, A Halbert… - Proceedings of the 29th …, 2014 - dl.acm.org
Software bugs often arise because of differences between what developers think their
system does and what the system actually does. These differences frustrate debugging and …

Visualizing distributed system executions

I Beschastnikh, P Liu, A Xing, P Wang, Y Brun… - ACM Transactions on …, 2020 - dl.acm.org
Distributed systems pose unique challenges for software developers. Understanding the
system's communication topology and reasoning about concurrent activities of system hosts …

Automating performance bottleneck detection using search-based application profiling

D Shen, Q Luo, D Poshyvanyk… - Proceedings of the 2015 …, 2015 - dl.acm.org
Application profiling is an important performance analysis technique, when an application
under test is analyzed dynamically to determine its space and time complexities and the …