Foundations of Software Engineering - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 2535

2023

The Most Agile Teams Are the Most Disciplined: On Scaling out Agile DevelopmentZheng Li 0001, Austen Rainer. FSE 2023: 2056-2061 [doi]

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023Satish Chandra 0001, Kelly Blincoe, Paolo Tonella, editors, ACM, 2023. [doi]

Understanding the Topics and Challenges of GPU Programming by Classifying and Analyzing Stack Overflow PostsWenhua Yang 0001, Chong Zhang, Minxue Pan. FSE 2023: 1444-1456 [doi]

Recommending Analogical APIs via Knowledge Graph EmbeddingMingwei Liu 0002, Yanjun Yang, Yiling Lou, Xin Peng 0001, Zhong Zhou, Xueying Du, Tianyong Yang. FSE 2023: 1496-1508 [doi]

FunProbe: Probing Functions from Binary Code through Probabilistic AnalysisSoomin Kim 0002, Hyungseok Kim 0002, Sang Kil Cha. FSE 2023: 1419-1430 [doi]

Multilingual Code Co-evolution using Large Language ModelsJiyang Zhang 0003, Pengyu Nie 0001, Junyi Jessy Li, Milos Gligoric 0001. FSE 2023: 695-707 [doi]

Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program RepairYuxiang Wei 0003, Chunqiu Steven Xia, Lingming Zhang 0001. FSE 2023: 172-184 [doi]

NeuRI: Diversifying DNN Generation via Inductive Rule InferenceJiawei Liu 0004, Jinjun Peng, Yuyao Wang, Lingming Zhang 0001. FSE 2023: 657-669 [doi]

Pre-training Code Representation with Semantic Flow Graph for Effective Bug LocalizationYali Du 0008, Zhongxing Yu. FSE 2023: 579-591 [doi]

Statistical Reachability AnalysisSeongmin Lee 0009, Marcel Böhme. FSE 2023: 326-337 [doi]

Outage-Watch: Early Prediction of Outages using Extreme Event RegularizerShubham Agarwal, Sarthak Chakraborty, Shaddy Garg, Sumit Bisht, Chahat Jain, Ashritha Gonuguntla, Shiv Kumar Saini. FSE 2023: 682-694 [doi]

Design by Contract for Deep Learning APIsShibbir Ahmed, Sayem Mohammad Imtiaz, Syeda Khairunnesa Samantha, Breno Dantas Cruz, Hridesh Rajan. FSE 2023: 94-106 [doi]

Issue Report Validation in an Industrial ContextEthem Utku Aktas, Ebru Cakmak, Mete Inan, Cemal Yilmaz. FSE 2023: 2026-2031 [doi]

MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse DetectorsAmit Seal Ami, Syed Yusuf Ahmed, Radowan Mahmud Redoy, Nathan Cooper, Kaushal Kafle, Kevin Moran, Denys Poshyvanyk, Adwait Nadkarni. FSE 2023: 2162-2166 [doi]

On-Premise AIOps Infrastructure for a Software Editor SME: An Experience ReportAnes Bendimerad, Youcef Remil, Romain Mathonat, Mehdi Kaytoue. FSE 2023: 1820-1831 [doi]

Scalable Program Clone Search through Spectral AnalysisTristan Benoit, Jean-Yves Marion, Sébastien Bardin. FSE 2023: 808-820 [doi]

The Call Graph Chronicles: Unleashing the Power WithinMasudul Hasan Masud Bhuiyan. FSE 2023: 2210-2212 [doi]

Analyzing Microservice Connectivity with KubesondeJacopo Bufalino, Mario Di Francesco, Tuomas Aura. FSE 2023: 2038-2043 [doi]

On Using Information Retrieval to Recommend Machine Learning Good Practices for Software EngineersLaura Cabra-Acela, Anamaria Mojica-Hanke, Mario Linares Vásquez, Steffen Herbold. FSE 2023: 2142-2146 [doi]

Testing Coreference Resolution Systems without Labeled Test SetsJialun Cao, Yaojie Lu, Ming Wen 0001, Shing-Chi Cheung. FSE 2023: 107-119 [doi]

llvm2CryptoLine: Verifying Arithmetic in Cryptographic C ProgramsRuiling Chen, Jiaxiang Liu 0001, Xiaomu Shi, Ming-Hsien Tsai 0001, Bow-Yaw Wang, Bo-Yin Yang. FSE 2023: 2167-2171 [doi]

OOM-Guard: Towards Improving the Ergonomics of Rust OOM Handling via a Reservation-Based ApproachChengjun Chen, Zhicong Zhang, Hongliang Tian, Shoumeng Yan, Hui Xu 0009. FSE 2023: 733-744 [doi]

DiagConfig: Configuration Diagnosis of Performance Violations in Configurable Software SystemsZhiming Chen, Pengfei Chen, Peipei Wang, Guangba Yu, Zilong He, Genting Mai. FSE 2023: 566-578 [doi]

Engineering a Formally Verified Automated Bug FinderArthur Correnson, Dominic Steinhöfel. FSE 2023: 1165-1176 [doi]

Triggering Modes in Spectrum-Based Multi-location Fault LocalizationTung Dao, Na Meng 0001, ThanhVu Nguyen. FSE 2023: 1774-1785 [doi]

A Data Set of Extracted Rationale from Linux Kernel Commit MessagesMouna Dhaouadi. FSE 2023: 2187-2188 [doi]

HyperDiff: Computing Source Code Diffs at ScaleQuentin Le Dilavrec, Djamel Eddine Khelladi, Arnaud Blouin, Jean-Marc Jézéquel. FSE 2023: 288-299 [doi]

LibKit: Detecting Third-Party Libraries in iOS AppsDaniel Domínguez-Álvarez, Alejandro de la Cruz, Alessandra Gorla, Juan Caballero. FSE 2023: 1407-1418 [doi]

KG4CraSolver: Recommending Crash Solutions via Knowledge GraphXueying Du, Yiling Lou, Mingwei Liu, Xin Peng 0001, Tianyong Yang. FSE 2023: 1242-1254 [doi]

Semantic DebuggingMartin Eberlein, Marius Smytzek, Dominic Steinhöfel, Lars Grunske, Andreas Zeller. FSE 2023: 438-449 [doi]

Exploring Moral Principles Exhibited in OSS: A Case Study on GitHub Heated IssuesRamtin Ehsani, Rezvaneh Rezapour, Preetha Chatterjee. FSE 2023: 2092-2096 [doi]

Accelerating Continuous Integration with Parallel Batch TestingEmad Fallahzadeh, Amir Hossein Bavand, Peter C. Rigby. FSE 2023: 55-67 [doi]

Matching Skills, Past Collaboration, and Limited Competition: Modeling When Open-Source Projects Attract ContributorsHongbo Fang, James D. Herbsleb, Bogdan Vasilescu. FSE 2023: 42-54 [doi]

A Four-Year Study of Student Contributions to OSS vs. OSS4SG with a Lightweight InterventionZihan Fang, Madeline Endres, Thomas Zimmermann 0001, Denae Ford, Westley Weimer, Kevin Leach, Yu Huang 0015. FSE 2023: 3-15 [doi]

On the Relationship between Code Verifiability and UnderstandabilityKobi Feldman, Martin Kellogg, Oscar Chaparro. FSE 2023: 211-223 [doi]

The State of Survival in OSS: The Impact of DiversityZixuan Feng. FSE 2023: 2213-2215 [doi]

Baldur: Whole-Proof Generation and Repair with Large Language ModelsEmily First, Markus N. Rabe, Talia Ringer, Yuriy Brun. FSE 2023: 1229-1241 [doi]

Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial SimulatorFederico Formica, Nicholas Petrunti, Lucas Bruck, Vera Pantelic, Mark Lawford, Claudio Menghi. FSE 2023: 1949-1960 [doi]

Code Coverage Criteria for Asynchronous ProgramsMohammad Ganji, Saba Alimadadi, Frank Tip. FSE 2023: 1307-1319 [doi]

Evaluating Transfer Learning for Simplifying GitHub READMEsHaoyu Gao, Christoph Treude, Mansooreh Zahedi. FSE 2023: 1548-1560 [doi]

Predicting Software Performance with Divide-and-LearnJingzhi Gong, Tao Chen 0001. FSE 2023: 858-870 [doi]

Efficient Text-to-Code Retrieval with Cascaded Fast and Slow Transformer ModelsAkhilesh Deepak Gotmare, Junnan Li 0001, Shafiq Joty, Steven C. H. Hoi. FSE 2023: 388-400 [doi]

The EarlyBIRD Catches the Bug: On Exploiting Early Layers of Encoder Models for More Efficient Code ClassificationAnastasiia Grishina, Max Hort, Leon Moonen. FSE 2023: 895-907 [doi]

LLM-Based Code Generation Method for Golang Compiler TestingQiuhan Gu. FSE 2023: 2201-2203 [doi]

Towards Top-Down Automated Development in Limited Scopes: A Neuro-Symbolic Framework from Expressibles to ExecutablesJian Gu, Harald C. Gall. FSE 2023: 2072-2076 [doi]

Grace: Language Models Meet Code EditsPriyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari 0001. FSE 2023: 1483-1495 [doi]

Understanding Hackers' Work: An Empirical Study of Offensive Security PractitionersAndreas Happe, Jürgen Cito. FSE 2023: 1669-1680 [doi]

Getting pwn'd by AI: Penetration Testing with Large Language ModelsAndreas Happe, Jürgen Cito. FSE 2023: 2082-2086 [doi]

BFSig: Leveraging File Significance in Bus Factor EstimationVahid Haratian, Mikhail Evtikhiev, Pouria Derakhshanfar, Eray Tüzün, Vladimir Kovalenko. FSE 2023: 1926-1936 [doi]

A Highly Scalable, Hybrid, Cross-Platform Timing Analysis Framework Providing Accurate Differential Throughput Estimation via Instruction-Level TracingMin-Yih Hsu, Felicitas Hetzelt, David Gens, Michael Maitland, Michael Franz. FSE 2023: 821-831 [doi]

Towards Feature-Based Analysis of the Machine Learning Development LifecycleBoyue Caroline Hu, Marsha Chechik. FSE 2023: 2087-2091 [doi]

DecompoVision: Reliability Analysis of Machine Vision Components through Decomposition and ReuseBoyue Caroline Hu, Lina Marsso, Nikita Dvornik, Huakun Shen, Marsha Chechik. FSE 2023: 541-552 [doi]

Co-dependence Aware Fuzzing for Dataflow-Based Big Data AnalyticsAhmad Humayun, Miryung Kim, Muhammad Ali Gulzar. FSE 2023: 1050-1061 [doi]

Inferring Complexity Bounds from Recurrence RelationsDidier Ishimwe. FSE 2023: 2198-2200 [doi]

Reflecting on the Use of the Policy-Process-Product Theory in Empirical Software EngineeringKelechi G. Kalu, Taylor R. Schorlemmer, Sophie Chen, Kyle A. Robinson, Erik Kocinare, James C. Davis 0001. FSE 2023: 2112-2116 [doi]

Practical Inference of Nullability TypesNima Karimipour, Justin Pham, Lazaro Clapp, Manu Sridharan. FSE 2023: 1395-1406 [doi]

EtherDiffer: Differential Testing on RPC Services of Ethereum NodesShinhae Kim, Sungjae Hwang. FSE 2023: 1333-1344 [doi]

Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of NorwayChristoph Laaber, Tao Yue 0002, Shaukat Ali 0001, Thomas Schwitalla, Jan Nygård. FSE 2023: 1937-1948 [doi]

Assisting Static Analysis with Large Language Models: A ChatGPT ExperimentHaonan Li, Yu Hao 0006, Yizhuo Zhai, Zhiyun Qian. FSE 2023: 2107-2111 [doi]

AG3: Automated Game GUI Text Glitch Detection Based on Computer VisionXiaoyun Liang, Jiayi Qi, Yongqiang Gao, Chao Peng, Ping Yang. FSE 2023: 1879-1890 [doi]

EvoCLINICAL: Evolving Cyber-Cyber Digital Twin with Active Transfer Learning for Automated Cancer Registry SystemChengjie Lu, QingHua Xu, Tao Yue 0002, Shaukat Ali 0001, Thomas Schwitalla, Jan Nygård. FSE 2023: 1973-1984 [doi]

Helion: Enabling Natural Testing of Smart HomesPrianka Mandal, Sunil Manandhar, Kaushal Kafle, Kevin Moran, Denys Poshyvanyk, Adwait Nadkarni. FSE 2023: 2147-2151 [doi]

CONAN: Statically Detecting Connectivity Issues in Android ApplicationsAlejandro Mazuera-Rozo, Camilo Escobar-Velásquez, Juan Espitia-Acero, Mario Linares Vásquez, Gabriele Bavota. FSE 2023: 2182-2186 [doi]

Speeding up SMT Solving via Compiler OptimizationBenjamin Mikek, Qirun Zhang. FSE 2023: 1177-1189 [doi]

"We Feel Like We're Winging It: " A Study on Navigating Open-Source Dependency AbandonmentCourtney Miller, Christian Kästner, Bogdan Vasilescu. FSE 2023: 1281-1293 [doi]

Modeling the Centrality of Developer Output with Software Supply ChainsAudris Mockus, Peter C. Rigby, Rui Abreu 0001, Parth Suresh, Yifen Chen, Nachiappan Nagappan. FSE 2023: 1809-1819 [doi]

D2S2: Drag 'n' Drop Mobile App Screen SearchSoumik Mohian, Tony Tang, Tuan Trinh, Don Dang, Christoph Csallner. FSE 2023: 2177-2181 [doi]

µAkka: Mutation Testing for Actor Concurrency in Akka using Real-World BugsMohsen Moradi-Moghadam, Mehdi Bagherzadeh 0001, Raffi Khatchadourian, Hamid Bagheri. FSE 2023: 262-274 [doi]

Do All Software Projects Die When Not Maintained? Analyzing Developer Maintenance to Predict OSS UsageEmily Nguyen. FSE 2023: 2195-2197 [doi]

Fix Fairness, Don't Ruin Accuracy: Performance Aware Fairness Repair using AutoMLGiang Nguyen, Sumon Biswas, Hridesh Rajan. FSE 2023: 502-514 [doi]

Revisiting Neural Program Smoothing for FuzzingMaria-Irina Nicolae, Max Eisele, Andreas Zeller. FSE 2023: 133-145 [doi]

Contribution-Based Firing of Developers?Vincenzo Orrei, Marco Raglianti, Csaba Nagy 0001, Michele Lanza. FSE 2023: 2062-2066 [doi]

A Multidimensional Analysis of Bug Density in SAP HANAJulian Reck, Thomas Bach, Jan Stoess. FSE 2023: 1997-2007 [doi]

API-Knowledge Aware Search-Based Software Testing: Where, What, and HowXiaoxue Ren, Xinyuan Ye, Yun Lin, Zhenchang Xing, Shuqing Li, Michael R. Lyu. FSE 2023: 1320-1332 [doi]

Detecting Overfitting of Machine Learning Techniques for Automatic Vulnerability DetectionNiklas Risse. FSE 2023: 2189-2191 [doi]

Rotten Green Tests in Google TestPaul Robinson. FSE 2023: 2020-2025 [doi]

When Function Inlining Meets WebAssembly: Counterintuitive Impacts on Runtime PerformanceAlan Romano, Weihang Wang 0001. FSE 2023: 350-362 [doi]

Towards Understanding Emotions in Informal Developer Interactions: A Gitter Chat StudyAmirali Sajadi, Kostadin Damevski, Preetha Chatterjee. FSE 2023: 2097-2101 [doi]

Testing Real-World Healthcare IoT Application: Experiences and Lessons LearnedHassan Sartaj, Shaukat Ali 0001, Tao Yue 0002, Kjetil Moberg. FSE 2023: 2044-2049 [doi]

Privacy-Centric Log Parsing for Timely, Proactive Personal Data ProtectionIssam Sedki. FSE 2023: 2204-2206 [doi]

Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated DataWill Shackleton, Katriel Cohn-Gordon, Peter C. Rigby, Rui Abreu 0001, James Gill, Nachiappan Nagappan, Karim Nakad, Ioannis Papagiannis, Luke Petre, Giorgi Megreli, Patrick Riggs, James Saindon. FSE 2023: 1705-1715 [doi]

DENT: A Tool for Tagging Stack Overflow Posts with Deep Learning Energy PatternsShriram Shanbhag, Sridhar Chimalakonda, Vibhu Saujanya Sharma, Vikrant Kaulgud. FSE 2023: 2157-2161 [doi]

SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical ModelsSunbeom So, Hakjoo Oh. FSE 2023: 185-197 [doi]

Metamong: Detecting Render-Update Bugs in Web Browsers through FuzzingSuhwan Song, Byoungyoung Lee. FSE 2023: 1075-1087 [doi]

LExecutor: Learning-Guided ExecutionBeatriz Souza, Michael Pradel. FSE 2023: 1522-1534 [doi]

STraceBERT: Source Code Retrieval using Semantic Application TracesClaudio Spiess. FSE 2023: 2207-2209 [doi]

Crystallizer: A Hybrid Path Analysis Framework to Aid in Uncovering Deserialization VulnerabilitiesPrashast Srivastava, Flavio Toffalini, Kostyantyn Vorobyov, François Gauthier 0001, Antonio Bianchi, Mathias Payer. FSE 2023: 1586-1597 [doi]

A Language Model of Java Methods with Train/Test DeduplicationChia-Yi Su, Aakash Bansal, Vijayanta Jain, Sepideh Ghanavati, Collin McMillan. FSE 2023: 2152-2156 [doi]

BigDataflow: A Distributed Interprocedural Dataflow Analysis FrameworkZewen Sun, Duanchen Xu, Yiyu Zhang, Yun Qi, Yueyang Wang, Zhiqiang Zuo 0002, Zhaokang Wang, Yue Li 0006, Xuandong Li, Qingda Lu, Wenwen Peng, Shengjian Guo. FSE 2023: 1431-1443 [doi]

Incrementalizing Production CodeQL AnalysesTamás Szabó. FSE 2023: 1716-1726 [doi]

PropProof: Free Model-Checking Harnesses from PBTYoshiki Takashima. FSE 2023: 1903-1913 [doi]

Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to EntitiesFelipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer. FSE 2023: 2122-2126 [doi]

State Merging with Quantifiers in Symbolic ExecutionDavid Trabish, Noam Rinetzky, Sharon Shoham, Vaibhav Sharma. FSE 2023: 1140-1152 [doi]

From Leaks to Fixes: Automated Repairs for Resource Leak WarningsAkshay Utture, Jens Palsberg. FSE 2023: 159-171 [doi]

Pitfalls in Experiments with DNN4SE: An Analysis of the State of the PracticeSira Vegas, Sebastian G. Elbaum. FSE 2023: 528-540 [doi]

Prioritizing Natural Language Test Cases Based on Highly-Used Game FeaturesMarkos Viggiato, Dale Paas, Cor-Paul Bezemer. FSE 2023: 1961-1972 [doi]

RAP-Gen: Retrieval-Augmented Patch Generation with CodeT5 for Automatic Program RepairWeishi Wang, Yue Wang 0034, Shafiq Joty, Steven C. H. Hoi. FSE 2023: 146-158 [doi]

Discovering Parallelisms in Python ProgramsSiwei Wei, Guyang Song, Senlin Zhu, Ruoyi Ruan, Shihao Zhu, Yan Cai 0001. FSE 2023: 832-844 [doi]

Hue: A User-Adaptive Parser for Hybrid LogsJunjielong Xu, Qiuai Fu, Zhouruixing Zhu, Yutong Cheng, Zhijing Li 0007, Yuchi Ma, Pinjia He. FSE 2023: 413-424 [doi]

Automated Testing and Improvement of Named Entity Recognition SystemsBoxi Yu, Yiyan Hu, Qiuyang Mang, Wenhan Hu, Pinjia He. FSE 2023: 883-894 [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

Foundations of Software Engineering (FSE)

Viewing Publication 1 - 100 from 2535

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

Foundations of Software Engineering (FSE)

Viewing Publication 1 - 100 from 2535

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