KBSE - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 2234

2023

Mutation-based Fault Localization of Deep Neural NetworksAli Ghanbari 0001, Deepak-George Thomas, Muhammad Arbab Arshad, Hridesh Rajan. ASE 2023: 1301-1313 [doi]

LIV: Loop-Invariant Validation Using Straight-Line ProgramsDirk Beyer 0001, Martin Spiessl. ASE 2023: 2074-2077 [doi]

cegar-pt: A Tool for Abstraction by Program TransformationDirk Beyer 0001, Marian Lingsch Rosenfeld, Martin Spiessl. ASE 2023: 2078-2081 [doi]

Evolve the Model Universe of a System UniverseTao Yue 0002, Shaukat Ali 0001. ASE 2023: 1726-1731 [doi]

Fork Entropy: Assessing the Diversity of Open Source Software Projects' ForksLiang Wang 0006, Zhiwen Zheng, Xiangchen Wu, Baihui Sang, Jierui Zhang, XianPing Tao. ASE 2023: 204-216 [doi]

Detecting Smart Home Automation Application Interferences with Domain KnowledgeTao Wang 0030, Wei Chen 0018, Liwei Liu, Guoquan Wu, Jun Wei 0001, Tao Huang 0001. ASE 2023: 1086-1097 [doi]

38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023 - Workshops, Luxembourg, September 11-15, 2023IEEE, 2023. [doi]

38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023IEEE, 2023. [doi]

Government Mobile Apps: Analysing Citizen Feedback via App ReviewsTooba Aamir, Mohan Baruwal Chhetri, M. A. P. Chamikara, Marthie Grobler. ASE 2023: 1858-1863 [doi]

Exploring Automatic Specification Repair in Dafny ProgramsAlexandre Abreu, Nuno Macedo, Alexandra Mendes. ASE 2023: 105-112 [doi]

Better Patching Using LLM Prompting, via Self-ConsistencyToufique Ahmed, Premkumar T. Devanbu. ASE 2023: 1742-1746 [doi]

Modelling Multi-Party Role-Based Access Control Policies for iContractML Smart ContractsIssam Al-Azzoni, Reiko Heckel. ASE 2023: 100-104 [doi]

Cross-Platform Mobile App Development: The IscteSpots experienceJoão Cambaia De Almeida, Fernando Brito e Abreu, Duarte Almeida. ASE 2023: 11-16 [doi]

Systematically Detecting Packet Validation Vulnerabilities in Embedded Network StacksPaschal C. Amusuo, Ricardo Andrés Calvo Méndez, Zhongwei Xu, Aravind Machiry, James C. Davis 0001. ASE 2023: 926-938 [doi]

SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart ContractsMonika Di Angelo, Thomas Durieux, João F. Ferreira 0001, Gernot Salzer. ASE 2023: 2102-2105 [doi]

Exploring Android Apps Using Motif ActionsMichael Auer, Gordon Fraser 0001. ASE 2023: 135-142 [doi]

Migrating from Monoliths to Microservices: Enforcing Correct CoordinationMarco Autili, Gianluca Filippone, Massimo Tivoli. ASE 2023: 113-118 [doi]

5th International Workshop on Automated and Verifiable Software System Development (ASYDE 2023)Marco Autili, Alessio Bucaioni, Gianluca Filippone, Farnaz Fotrousi, Rim Saddem, Gian Luca Scoccia. ASE 2023: 9-10 [doi]

Minecraft: Automated Mining of Software Bug Fixes with Precise Code ContextSai Krishna Avula, Venkatesh Vobbilisetti, Shouvick Mondal. ASE 2023: 1969-1979 [doi]

Provengo: A Tool Suite for Scenario Driven Model-Based TestingMichael Bar-Sinai, Achiya Elyasaf, Gera Weiss, Yeshayahu Weiss. ASE 2023: 2062-2065 [doi]

Optimizing Continuous Development by Detecting and Preventing Unnecessary Content GenerationTalank Baral, Shanto Rahman, Bala Naren Chanumolu, Basak Balci, Tuna Tuncer, August Shi, Wing Lam. ASE 2023: 901-913 [doi]

MUT4SLX: Fast Mutant Generation for SimulinkHalil Ibrahim Ceylan, Onur Kilinççeker, Mutlu Beyazit, Serge Demeyer. ASE 2023: 2086-2089 [doi]

ESRO: Experience Assisted Service Reliability against OutagesSarthak Chakraborty, Shubham Agarwal, Shaddy Garg, Abhimanyu Sethia, Udit Narayan Pandey, Videh Aggarwal, Shiv Kumar Saini. ASE 2023: 255-267 [doi]

RJoules: An Energy Measurement Tool for RRajrupa Chattaraj, Sridhar Chimalakonda. ASE 2023: 2026-2029 [doi]

An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software EngineeringPrantik Chatterjee, Pankaj Kumar Kalita, Sumit Lahiri, Sujit Kumar Muduli, Vishal Singh, Gourav Takhar, Subhajit Roy 0001. ASE 2023: 598-610 [doi]

COMEX: A Tool for Generating Customized Source Code RepresentationsDebeshee Das, Noble Saji Mathews, Alex Mathai, Srikanth Tamilselvam, Kranthi Sedamaki, Sridhar Chimalakonda, Atul Kumar 0002. ASE 2023: 2054-2057 [doi]

A Human-Centric Cyber Security Training Tool for Prioritizing MSNAsVincent Depassier, Romina Torres. ASE 2023: 54-61 [doi]

A Comparative Study of Transformer-Based Neural Text Representation Techniques on Bug TriagingAtish Kumar Dipongkor, Kevin Moran. ASE 2023: 1012-1023 [doi]

Persisting and Reusing Results of Static Program Analyses on a Large ScaleJohannes Düsing, Ben Hermann 0001. ASE 2023: 888-900 [doi]

From Commit Message Generation to History-Aware Commit Message CompletionAleksandra Eliseeva, Yaroslav Sokolov, Egor Bogomolov, Yaroslav Golubev, Danny Dig, Timofey Bryksin. ASE 2023: 723-735 [doi]

RPCover: Recovering gRPC Dependency in Multilingual ProjectsAoyang Fang, Ruiyu Zhou, Xiaoying Tang, Pinjia He. ASE 2023: 1930-1939 [doi]

Ecological Impact of Native Versus Cross-Platform Mobile Apps: A Preliminary StudyVincent Frattaroli, Olivier Le Goaër, Olivier Philippot. ASE 2023: 3-8 [doi]

An Empirical Study on the Adoption of Scripted GUI Testing for Android AppsRuizhen Gu, José Miguel Rojas. ASE 2023: 179-182 [doi]

Hot Patching Hot Fixes: Reflection and PerspectivesCarol Hanna, Justyna Petke. ASE 2023: 1781-1786 [doi]

Understanding and Enhancing Issue Prioritization in GitHubYingying He, Wenhua Yang 0001, Minxue Pan, Yasir Hussain, Yu Zhou 0010. ASE 2023: 813-824 [doi]

The MAP Metric in Information Retrieval Fault LocalizationThomas Hirsch, Birgit Hofer. ASE 2023: 1480-1491 [doi]

NaturalFuzz: Natural Input Generation for Big Data AnalyticsAhmad Humayun, Yaoxuan Wu, Miryung Kim, Muhammad Ali Gulzar. ASE 2023: 1592-1603 [doi]

Improving AFLGo's Directed Fuzzing by Considering Indirect Function CallsFabian Jezuita. ASE 2023: 143-150 [doi]

RocketHA: A High Availability Design Paradigm for Distributed Log-Based Storage SystemJuntao Ji, Rongtong Jin, Yubao Fu, Yinyou Gu, Tsung-Han Tsai, Qingshan Lin. ASE 2023: 1819-1824 [doi]

Perfce: Performance Debugging on Databases with Chaos Engineering-Enhanced Causality AnalysisZhenlan Ji, Pingchuan Ma 0004, Shuai Wang 0011. ASE 2023: 1454-1466 [doi]

PSMT: Satisfiability Modulo Theories Meets Probability DistributionFuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu 0001, Pei Huang 0002, Feifei Ma, Jian Zhang 0001. ASE 2023: 1756-1760 [doi]

Pluggable Type Inference for FreeMartin Kellogg, Daniel Daskiewicz, Loi Ngo Duc Nguyen, Muyeed Ahmed, Michael D. Ernst. ASE 2023: 1542-1554 [doi]

Towards Safe Automated Refactoring of Imperative Deep Learning Programs to Graph ExecutionRaffi Khatchadourian, Tatiana Castro Vélez, Mehdi Bagherzadeh 0001, Nan Jia, Anita Raja. ASE 2023: 1800-1802 [doi]

Adaptive REST API Testing with Reinforcement LearningMyeongSoo Kim, Saurabh Sinha, Alessandro Orso. ASE 2023: 446-458 [doi]

Bus Factor ExplorerEgor Klimov, Muhammad Umair Ahmed, Nikolai Sviridov, Pouria Derakhshanfar, Eray Tüzuü, Vladimir Kovalenko. ASE 2023: 2018-2021 [doi]

Towards Self-Adaptive Machine Learning-Enabled Systems Through QoS-Aware Model SwitchingShubham Kulkarni, Arya Marda, Karthik Vaidhyanathan. ASE 2023: 1721-1725 [doi]

Continuous Domain Input Abstraction and Fault Detection Capability in Combinatorial TestingYavuz Köroglu, Franz Wotawa. ASE 2023: 167-170 [doi]

Thunderkaller: Profiling and Improving the Performance of SyzkallerYang Lan, Di Jin, Zhun Wang, Wende Tan, Zheyu Ma, Chao Zhang 0008. ASE 2023: 1567-1578 [doi]

Log Parsing: How Far Can ChatGPT Go?Van-Hoang Le, Hongyu Zhang 0002. ASE 2023: 1699-1704 [doi]

On Automated Assistants for Software Development: The Role of LLMsMira Leung, Gail Murphy. ASE 2023: 1737-1741 [doi]

HOBAT: Batch Verification for Homogeneous Structural Neural NetworksJingyang Li, Guoqiang Li 0001. ASE 2023: 1276-1287 [doi]

A Needle is an Outlier in a Haystack: Hunting Malicious PyPI Packages with Code ClusteringWentao Liang, Xiang Ling 0001, JingZheng Wu, Tianyue Luo, Yanjun Wu. ASE 2023: 307-318 [doi]

An Empirical Study of Parameter-Efficient Fine-Tuning Methods for Pre-Trained Code ModelsJiaxing Liu, Chaofeng Sha, Xin Peng 0001. ASE 2023: 397-408 [doi]

Fault Localization for Buggy Deep Learning Framework Conversions in Image RecognitionNikolaos Louloudakis, Perry Gibson, José Cano 0001, Ajitha Rajan. ASE 2023: 1795-1799 [doi]

Improving Code Extraction from Coding Screencasts Using a Code-Aware Encoder-Decoder ModelAbdulkarim Malkadi, Ahmad Tayeb, Sonia Haiduc. ASE 2023: 1492-1504 [doi]

An Industrial Practice for Securing Android Apps in the Banking DomainVikas Kumar Malviya, Phong Phan, Yan Naing Tun, Albert Ching, Lwin Khin Shar. ASE 2023: 1870-1875 [doi]

Fine-Grained In-Context Permission Classification for Android Apps Using Control-Flow Graph EmbeddingVikas Kumar Malviya, Yan Naing Tun, Chee Wei Leow, Ailys Tee Xynyn, Lwin Khin Shar, Lingxiao Jiang. ASE 2023: 1225-1237 [doi]

Towards Automatically Addressing Self-Admitted Technical Debt: How Far Are We?Antonio Mastropaolo, Massimiliano Di Penta, Gabriele Bavota. ASE 2023: 585-597 [doi]

Assessing the Impact of Refactoring Energy-Inefficient Code Patterns on Software Sustainability: An Industry Case StudyRohit Mehra, Priyavanshi Pathania, Vibhu Saujanya Sharma, Vikrant Kaulgud, Sanjay Podder, Adam P. Burden. ASE 2023: 1825-1827 [doi]

DoS Attacks, Human Factors, and Evidence Extraction for the Industrial Internet of Things (IIoT) ParadigmSri Harsha Mekala, Zubair A. Baig, Adnan Anwar, Naeem Syed. ASE 2023: 32-39 [doi]

Automated Negotiation - Preliminary Results of a Systematic Mapping StudyMashal Afzal Memon, Gian Luca Scoccia, Marco Autili. ASE 2023: 94-99 [doi]

Semantic Data Augmentation for Deep Learning Testing Using Generative AISondess Missaoui, Simos Gerasimou, Nicholas Matragkas. ASE 2023: 1694-1698 [doi]

SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based FuzzingFacundo Molina, Marcelo d'Amorim, Nazareno Aguirre. ASE 2023: 2094-2097 [doi]

Cell2Doc: ML Pipeline for Generating Documentation in Computational NotebooksTamal Mondal, Scott Barnett, Akash Lal, Jyothi Vedurada. ASE 2023: 384-396 [doi]

Automating Bias Testing of LLMsSergio Morales, Robert Clarisó, Jordi Cabot. ASE 2023: 1705-1707 [doi]

Where to Go Now? Finding Alternatives for Declining Packages in the npm EcosystemSuhaib Mujahid, Diego Elias Costa 0001, Rabe Abdalkareem, Emad Shihab. ASE 2023: 1628-1639 [doi]

Universal Design for Website Authentication: Views and Experiences of Senior CitizensJacques Ophoff, Karen Vera Renaud. ASE 2023: 46-53 [doi]

Precise Data-Driven Approximation for Program Analysis via FuzzingNikhil Parasaram, Earl T. Barr, Sergey Mechtaev, Marcel Böhme. ASE 2023: 611-623 [doi]

Towards a Knowledge Base of Common Sustainability Weaknesses in Green Software DevelopmentPriyavanshi Pathania, Rohit Mehra, Vibhu Saujanya Sharma, Vikrant Kaulgud, Sanjay Podder, Adam P. Burden. ASE 2023: 1718-1720 [doi]

Smart Prompt Advisor: Multi-Objective Prompt Framework for Consistency and Best PracticesKanchanjot Kaur Phokela, Samarth Sikand, Kapil Singi, Kuntal Dey, Vibhu Saujanya Sharma, Vikrant Kaulgud. ASE 2023: 1846-1848 [doi]

Towards Developer-Centered Secure Coding TrainingVladislav Pikulin, Daiki Kubo, Kaveesha Nissanka, Sadeeptha Bandara, Muhammad A. Shamsiemon, Arissha Yasmin, Asangi Jayatilaka, Anuradha Madugalla, Tanjila Kanij. ASE 2023: 24-31 [doi]

MELT: Mining Effective Lightweight Transformations from Pull RequestsDaniel Ramos, Hailie Mitchell, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues. ASE 2023: 1516-1528 [doi]

CAT-LM Training Language Models on Aligned Code And TestsNikitha Rao, Kush Jain, Uri Alon 0002, Claire Le Goues, Vincent J. Hellendoorn. ASE 2023: 409-420 [doi]

Test Case Recommendations with Distributed Representation of Code Syntactic FeaturesMosab Rezaei, Hamed Alhoori, Mona Rahimi. ASE 2023: 159-166 [doi]

How to Train Your Neural Bug Detector: Artificial vs Real BugsCedric Richter, Heike Wehrheim. ASE 2023: 1036-1048 [doi]

Test Case Prioritization Based on Neural Network Classification with Artifacts TraceabilityIoana-Claudia Rotaru, Andreea Vescan. ASE 2023: 78-87 [doi]

Polyglot Code Smell Detection for Infrastructure as Code with GLITCHNuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira 0001, Alexandra Mendes. ASE 2023: 2042-2045 [doi]

Coding and Debugging by Separating Secret Code Toward Secure Remote DevelopmentShinobu Saito. ASE 2023: 1864-1869 [doi]

Automated Test Case Generation for Service Composition from Event LogsSébastien Salva, Jarod Sue. ASE 2023: 127-134 [doi]

Symbolic Fixpoint Algorithms for Logical LTL GamesStanly Samuel, Deepak D'Souza, Raghavan Komondoor. ASE 2023: 698-709 [doi]

Exploring Early Adopters' Perceptions of ChatGPT as a Code Generation ToolGian Luca Scoccia. ASE 2023: 88-93 [doi]

Leakpair: Proactive Repairing of Memory Leaks in Single Page Web ApplicationsArooba Shahoor, Askar Yeltayuly Khamit, Jooyong Yi, Dongsun Kim. ASE 2023: 1175-1187 [doi]

Green AI Quotient: Assessing Greenness of AI-based software and the way forwardSamarth Sikand, Vibhu Saujanya Sharma, Vikrant Kaulgud, Sanjay Podder. ASE 2023: 1828-1833 [doi]

Live Programming for Finite Model FindersAllison Sullivan. ASE 2023: 1747-1752 [doi]

Software Engineering Using Autonomous Agents: Are We There Yet?Samdyuti Suri, Sankar Narayan Das, Kapil Singi, Kuntal Dey, Vibhu Saujanya Sharma, Vikrant Kaulgud. ASE 2023: 1855-1857 [doi]

Neural SZZ AlgorithmLingxiao Tang, Lingfeng Bao, Xin Xia 0001, Zhongdong Huang. ASE 2023: 1024-1035 [doi]

Open Source Software Tools for Data Management and Deep Model Training AutomationUmut Tirasoglu, Abdussamet Türker, Adnan Ekici, Hayri Yigit, Yusuf Enes Bölükbasi, Toygar Akgün. ASE 2023: 1814-1818 [doi]

Increasing the Responsiveness of Web Applications by Introducing Lazy LoadingAlexi Turcotte, Satyajit Gokhale, Frank Tip. ASE 2023: 459-470 [doi]

Neural Network-Based Test Case Prioritization in Continuous IntegrationAndreea Vescan, Radu Dan Gaceanu, Arnold Szederjesi-Dragomir. ASE 2023: 68-77 [doi]

VRGuide: Efficient Testing of Virtual Reality Scenes via Dynamic Cut CoverageXiaoyin Wang, Tahmid Rafi, Na Meng 0001. ASE 2023: 951-962 [doi]

Chouette: An Automated Cross-Platform UI Crawler for Improving App QualityTerrence Wong. ASE 2023: 175-178 [doi]

The Plastic Surgery Hypothesis in the Era of Large Language ModelsChunqiu Steven Xia, Yifeng Ding, Lingming Zhang 0001. ASE 2023: 522-534 [doi]

ExpressAPR: Efficient Patch Validation for Java Automated Program Repair SystemsYuan-an Xiao, Chenyang Yang, Bo Wang 0050, Yingfei Xiong 0001. ASE 2023: 2038-2041 [doi]

LEAP: Efficient and Automated Test Method for NLP SoftwareMingxuan Xiao, Yan Xiao 0002, Hai Dong, Shunhui Ji, Pengcheng Zhang. ASE 2023: 1136-1148 [doi]

Compsuite: A Dataset of Java Library Upgrade Incompatibility IssuesXiuFeng Xu, Chenguang Zhu 0002, Yi Li 0008. ASE 2023: 2098-2101 [doi]

PreciseBugCollector: Extensible, Executable and Precise Bug-Fix Collection: Solution for Challenge 8: Automating Precise Data Collection for Code Snippets with Bugs, Fixes, Locations, and TypesHe Ye, Zimin Chen, Claire Le Goues. ASE 2023: 1899-1910 [doi]

ArduinoProg: Towards Automating Arduino ProgrammingImam Nur Bani Yusuf, Diyanah Binte Abdul Jamal, Lingxiao Jiang. ASE 2023: 2030-2033 [doi]

Expediting Neural Network Verification via Network ReductionYuyi Zhong, Ruiwei Wang, Siau-Cheng Khoo. ASE 2023: 1263-1275 [doi]

A Majority Invariant Approach to Patch Robustness Certification for Deep Learning ModelsQilin Zhou, Zhengyuan Wei, Haipeng Wang 0005, W. K. Chan 0001. ASE 2023: 1790-1794 [doi]

Improving Design Reviews at GoogleCelal Ziftci, Ben Greenberg. ASE 2023: 1849-1854 [doi]

Links

Filter by Year

[-]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

KBSE (ASE)

Viewing Publication 1 - 100 from 2234

2023

Links

Filter by Year [-]OR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

KBSE (ASE)

Viewing Publication 1 - 100 from 2234

2023

Filter by Year

[-]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1