René Just - RankMe

86 papers A* 18A 12B 1C 2Journal 32Unranked 20

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Regulating AI: Where U.S. State Policy and HCI (Mis)align. CHI Nino Migineishvili, Alice Gao, Adinawa Adjagbodjou, Dhanaraj Thakur, René Just, Katharina Reinecke
2026	J	`jnl`	Resolving Conditional Implicit Calls to Improve Static and Dynamic Analysis in Android Apps. ACM Trans. Softw. Eng. Methodol. Jordan Samhi, René Just, Michael D. Ernst, Tegawendé F. Bissyandé, Jacques Klein
2026	J	`jnl`	Solver-Aided Verification of Policy Compliance in Tool-Augmented LLM Agents. CoRR Cailin Winston, Claris Winston, René Just
2026	J	`jnl`	Wildfire and Forest Management: Opportunities for HCI Research. ACM Trans. Comput. Hum. Interact. Nino Migineishvili, Madeleine Grunde-McLaughlin, Emmanuel Azuh, Spencer Wood, René Just, Katharina Reinecke
2025	C	`conf`	A Taxonomy of Failures in Tool-Augmented LLMs. AST Cailin Winston, René Just
2025	—	`conf`	Evaluating the Impact of Scaffolding and Visualizations for Mutation Testing Exercises in Software Engineering Education. SIGSOFT FSE Companion Hannah Potter, Ana C. R. Paiva, Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana, René Just
2025	J	`jnl`	Morello: Compiling Fast Neural Networks with Dynamic Programming and Spatial Compression. CoRR Samuel J. Kaufman, René Just, Rastislav Bodík
2025	C	`conf`	What Types of Automated Tests do Developers Write? AST Marko Ivankovic, Luka Rimanic, Ivan Budiselic, Goran Petrovic, Gordon Fraser, René Just
2024	—	`conf`	A Demonstration of BLIP: A System to Explore Undesirable Consequences of Digital Technologies. IUI Companion Rock Yuren Pang, Sebastin Santy, René Just, Katharina Reinecke
2024	—	`conf`	AI-Assisted Assessment of Coding Practices in Modern Code Review. AIware Manushree Vijayvergiya, Malgorzata Salawa, Ivan Budiselic, Dan Zheng, Pascal Lamblin, Marko Ivankovic, Juanjo Carin, Mateusz Lewko, Jovan Andonov, Goran Petrovic, Daniel Tarlow, Petros Maniatis, René Just
2024	J	`jnl`	AI-Assisted Assessment of Coding Practices in Modern Code Review. CoRR Manushree Vijayvergiya, Malgorzata Salawa, Ivan Budiselic, Dan Zheng, Pascal Lamblin, Marko Ivankovic, Juanjo Carin, Mateusz Lewko, Jovan Andonov, Goran Petrovic, Daniel Tarlow, Petros Maniatis, René Just
2024	A*	`conf`	BLIP: Facilitating the Exploration of Undesirable Consequences of Digital Technologies. CHI Rock Yuren Pang, Sebastin Santy, René Just, Katharina Reinecke
2024	J	`jnl`	BLIP: Facilitating the Exploration of Undesirable Consequences of Digital Technologies. CoRR Rock Yuren Pang, Sebastin Santy, René Just, Katharina Reinecke
2024	A	`conf`	Call Graph Soundness in Android Static Analysis. ISSTA Jordan Samhi, René Just, Tegawendé F. Bissyandé, Michael D. Ernst, Jacques Klein
2024	J	`jnl`	Call Graph Soundness in Android Static Analysis. CoRR Jordan Samhi, René Just, Tegawendé F. Bissyandé, Michael D. Ernst, Jacques Klein
2024	A	`conf`	Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs. ISSTA Benjamin Kushigian, Samuel J. Kaufman, Ryan Featherman, Hannah Potter, Ardi Madadi, René Just
2024	—	`conf`	FPGA Technology Mapping Using Sketch-Guided Program Synthesis. ASPLOS (2) Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, Steven Lyubomirsky, Sorawee Porncharoenwase, René Just, Gilbert Louis Bernstein, Zachary Tatlock
2024	J	`jnl`	FPGA Technology Mapping Using Sketch-Guided Program Synthesis. CoRR Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, Steven Lyubomirsky, Sorawee Porncharoenwase, René Just, Gilbert Louis Bernstein, Zachary Tatlock
2024	A	`conf`	FRAFOL: FRAmework FOr Learning mutation testing. ISSTA Pedro Tavares, Ana C. R. Paiva, Domenico Amalfitano, René Just
2024	—	`conf`	Productive Coverage: Improving the Actionability of Code Coverage. ICSE-SEIP Marko Ivankovic, Goran Petrovic, Yana Kulizhskaya, Mateusz Lewko, Luka Kalinovcic, René Just, Gordon Fraser
2024	A*	`conf`	Verifying the Option Type with Rely-Guarantee Reasoning. ASE James Yoo, Michael D. Ernst, René Just
2024	A*	`conf`	rTisane: Externalizing conceptual models for data analysis prompts reconsideration of domain assumptions and facilitates statistical modeling. CHI Eunice Jun, Edward Misback, Jeffrey Heer, René Just
2023	J	`jnl`	Generate Compilers from Hardware Models! CoRR Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, René Just, Zachary Tatlock
2023	J	`jnl`	JUGE: An infrastructure for benchmarking Java unit test generators. Softw. Test. Verification Reliab. Xavier Devroey, Alessio Gambi, Juan Pablo Galeotti, René Just, Fitsum Meshesha Kifetew, Annibale Panichella, Sebastiano Panichella
2023	—	`conf`	MuRS: Mutant Ranking and Suppression using Identifier Templates. ESEC/SIGSOFT FSE Zimin Chen, Malgorzata Salawa, Manushree Vijayvergiya, Goran Petrovic, Marko Ivankovic, René Just
2023	J	`jnl`	MuRS: Mutant Ranking and Suppression using Identifier Templates. CoRR Zimin Chen, Malgorzata Salawa, Manushree Vijayvergiya, Goran Petrovic, Marko Ivankovic, René Just
2023	A*	`conf`	On the Applicability of Language Models to Block-Based Programs. ICSE Elisabeth Griebl, Benedikt Fein, Florian Obermüller, Gordon Fraser, René Just
2023	J	`jnl`	On the Applicability of Language Models to Block-Based Programs. CoRR Elisabeth Griebl, Benedikt Fein, Florian Obermüller, Gordon Fraser, René Just
2023	—	`conf`	Please fix this mutant: How do developers resolve mutants surfaced during code review? ICSE-SEIP Goran Petrovic, Marko Ivankovic, Gordon Fraser, René Just
2023	A	`ed.`	Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023 ISSTA René Just, Gordon Fraser
2023	J	`jnl`	rTisane: Externalizing conceptual models for data analysis increases engagement with domain knowledge and improves statistical model quality. CoRR Eunice Jun, Edward Misback, Jeffrey Heer, René Just
2022	A*	`conf`	Apéritif: Scaffolding Preregistrations to Automatically Generate Analysis Code and Methods Descriptions. CHI Yuren Pang, Katharina Reinecke, René Just
2022	—	`conf`	Contextualized Programming Language Documentation. Onward! Hannah Potter, Ardi Madadi, René Just, Cyrus Omar
2022	J	`jnl`	How do Java mutation tools differ? Commun. ACM Domenico Amalfitano, Ana C. R. Paiva, Alexis Inquel, Luís Pinto, Anna Rita Fasolino, René Just
2022	J	`jnl`	Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications. ACM Trans. Comput. Hum. Interact. Eunice Jun, Melissa Birchfield, Nicole de Moura, Jeffrey Heer, René Just
2022	J	`jnl`	Practical Mutation Testing at Scale: A view from Google. IEEE Trans. Software Eng. Goran Petrovic, Marko Ivankovic, Gordon Fraser, René Just
2022	A*	`conf`	Prioritizing Mutants to Guide Mutation Testing. ICSE Samuel J. Kaufman, Ryan Featherman, Justin Alvin, Bob Kurtz, Paul Ammann, René Just
2022	J	`jnl`	Quality of Automated Program Repair on Real-World Defects. IEEE Trans. Software Eng. Manish Motwani, Mauricio Soto, Yuriy Brun, René Just, Claire Le Goues
2022	A*	`conf`	Repairing Brain-Computer Interfaces with Fault-Based Data Acquisition. ICSE Cailin Winston, Caleb Winston, Chloe N. Winston, Claris Winston, Cleah Winston, Rajesh P. N. Rao, René Just
2022	J	`jnl`	Repairing Brain-Computer Interfaces with Fault-Based Data Acquisition. CoRR Cailin Winston, Caleb Winston, Chloe N. Winston, Claris Winston, Cleah Winston, Rajesh P. N. Rao, René Just
2022	A*	`conf`	Tisane: Authoring Statistical Models via Formal Reasoning from Conceptual and Data Relationships. CHI Eunice Jun, Audrey Seo, Jeffrey Heer, René Just
2022	J	`jnl`	Tisane: Authoring Statistical Models via Formal Reasoning from Conceptual and Data Relationships. CoRR Eunice Jun, Audrey Seo, Jeffrey Heer, René Just
2021	A*	`conf`	Does mutation testing improve testing practices? ICSE Goran Petrovic, Marko Ivankovic, Gordon Fraser, René Just
2021	J	`jnl`	Does mutation testing improve testing practices? CoRR Goran Petrovic, Marko Ivankovic, Gordon Fraser, René Just
2021	J	`jnl`	Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications. CoRR Eunice Jun, Melissa Birchfield, Nicole de Moura, Jeffrey Heer, René Just
2021	J	`jnl`	JUGE: An Infrastructure for Benchmarking Java Unit Test Generators. CoRR Xavier Devroey, Alessio Gambi, Juan Pablo Galeotti, René Just, Fitsum Meshesha Kifetew, Annibale Panichella, Sebastiano Panichella
2021	J	`jnl`	Practical Mutation Testing at Scale. CoRR Goran Petrovic, Marko Ivankovic, Gordon Fraser, René Just
2021	J	`jnl`	Removing biased data to improve fairness and accuracy. CoRR Sahil Verma, Michael D. Ernst, René Just
2020	B	`conf`	Defects4J as a Challenge Case for the Search-Based Software Engineering Community. SSBSE Gregory Gay, René Just
2020	A*	`conf`	Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria, and Test Set Size. ASE Yiqun T. Chen, Rahul Gopinath, Anita Tadakamalla, Michael D. Ernst, Reid Holmes, Gordon Fraser, Paul Ammann, René Just
2019	—	`conf`	Code coverage at Google. ESEC/SIGSOFT FSE Marko Ivankovic, Goran Petrovic, René Just, Gordon Fraser
2019	—	`conf`	Guiding testing effort using mutant utility. ICSE (Companion Volume) Justin Alvin, Bob Kurtz, Paul Ammann, Huzefa Rangwala, René Just
2019	—	`conf`	Medusa: Mutant Equivalence Detection Using Satisfiability Analysis. ICST Workshops Benjamin Kushigian, Amit Rawat, René Just
2019	J	`jnl`	Special issue on mutation testing and analysis. Softw. Test. Verification Reliab. René Just, Jens Krinke, Nan Li, José Miguel Rojas
2019	A*	`conf`	Tea: A High-level Language and Runtime System for Automating Statistical Analysis. UIST Eunice Jun, Maureen Daum, Jared Roesch, Sarah E. Chasins, Emery D. Berger, René Just, Katharina Reinecke
2019	J	`jnl`	Tea: A High-level Language and Runtime System for Automating Statistical Analysis. CoRR Eunice Jun, Maureen Daum, Jared Roesch, Sarah E. Chasins, Emery D. Berger, René Just, Katharina Reinecke
2018	—	`conf`	An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions. ICST Workshops Goran Petrovic, Marko Ivankovic, Bob Kurtz, Paul Ammann, René Just
2018	A	`conf`	Comparing developer-provided to user-provided tests for fault localization and automated program repair. ISSTA René Just, Chris Parnin, Ian Drosos, Michael D. Ernst
2018	A*	`conf`	Do automated program repair techniques repair hard and important bugs? ICSE Manish Motwani, Sandhya Sankaranarayanan, René Just, Yuriy Brun
2018	J	`jnl`	Do automated program repair techniques repair hard and important bugs? Empir. Softw. Eng. Manish Motwani, Sandhya Sankaranarayanan, René Just, Yuriy Brun
2017	A*	`conf`	Evaluating and improving fault localization. ICSE Spencer Pearson, José Campos, René Just, Gordon Fraser, Rui Abreu, Michael D. Ernst, Deric Pang, Benjamin Keller
2017	A	`conf`	Inferring mutant utility from program context. ISSTA René Just, Bob Kurtz, Paul Ammann
2017	A	`conf`	Private API Access and Functional Mocking in Automated Unit Test Generation. ICST Andrea Arcuri, Gordon Fraser, René Just
2017	J	`jnl`	Special issue on Mutation Testing. Inf. Softw. Technol. Mike Papadakis, René Just
2016	J	`jnl`	Tailored Mutants Fit Bugs Better. CoRR Miltiadis Allamanis, Earl T. Barr, René Just, Charles Sutton
2016	—	`conf`	Unit testing tool competition: round four. SBST@ICSE Urko Rueda, René Just, Juan P. Galeotti, Tanja E. J. Vos
2015	—	`conf`	Collaborative Verification of Information Flow for a High-Assurance App Store. Software Engineering & Management René Just, Michael D. Ernst, Suzanne Millstein
2015	A*	`conf`	Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T). ASE Sina Shamshiri, René Just, José Miguel Rojas, Gordon Fraser, Phil McMinn, Andrea Arcuri
2015	J	`jnl`	Higher accuracy and lower run time: efficient mutation analysis using non-redundant mutation operators. Softw. Test. Verification Reliab. René Just, Franz Schweiggert
2015	—	`conf`	Mutation Analysis for the Real World: Effectiveness, Efficiency, and Proper Tool Support. Software Engineering & Management René Just, Michael D. Ernst, Gordon Fraser
2015	A*	`conf`	Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T). ASE Paulo Barros, René Just, Suzanne Millstein, Paul Vines, Werner Dietl, Marcelo d'Amorim, Michael D. Ernst
2014	—	`conf`	Are mutants a valid substitute for real faults in software testing? SIGSOFT FSE René Just, Darioush Jalali, Laura Inozemtseva, Michael D. Ernst, Reid Holmes, Gordon Fraser
2014	A*	`conf`	Collaborative Verification of Information Flow for a High-Assurance App Store. CCS Michael D. Ernst, René Just, Suzanne Millstein, Werner Dietl, Stuart Pernsteiner, Franziska Roesner, Karl Koscher, Paulo Barros, Ravi Bhoraskar, Seungyeop Han, Paul Vines, Edward XueJun Wu
2014	A	`conf`	Defects4J: a database of existing faults to enable controlled testing studies for Java programs. ISSTA René Just, Darioush Jalali, Michael D. Ernst
2014	A	`conf`	Efficient mutation analysis by propagating and partitioning infected execution states. ISSTA René Just, Michael D. Ernst, Gordon Fraser
2014	A	`conf`	The major mutation framework: efficient and scalable mutation analysis for Java. ISSTA René Just
2013	—	`—`	On effective and efficient mutation analysis for unit and integration testing. René Just
2013	J	`jnl`	Using State Infection Conditions to Detect Equivalent Mutants and Speed up Mutation Analysis CoRR René Just, Michael D. Ernst, Gordon Fraser
2012	A	`conf`	Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis? ICST René Just, Gregory M. Kapfhammer, Franz Schweiggert
2012	A	`conf`	Using Non-redundant Mutation Operators and Test Suite Prioritization to Achieve Efficient and Scalable Mutation Analysis. ISSRE René Just, Gregory M. Kapfhammer, Franz Schweiggert
2011	J	`jnl`	Automating unit and integration testing with partial oracles. Softw. Qual. J. René Just, Franz Schweiggert
2011	A*	`conf`	MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler. ASE René Just, Franz Schweiggert, Gregory M. Kapfhammer
2011	—	`conf`	Using conditional mutation to increase the efficiency of mutation analysis. AST@ICSE René Just, Gregory M. Kapfhammer, Franz Schweiggert
2010	—	`conf`	Automating software tests with partial oracles in integrated environments. AST@ICSE René Just, Franz Schweiggert
2009	—	`conf`	Evaluating Testing Strategies for Imaging Software by Means of Mutation Analysis. ICST Workshops René Just, Franz Schweiggert
2008	—	`conf`	Benchmarking Testing Strategies with Tools from Mutation Analysis. ICST Workshops Ralph Guderlei, René Just, Christoph Schneckenburger, Franz Schweiggert