default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRené Just
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c48]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:
AI-Assisted Assessment of Coding Practices in Modern Code Review. AIware 2024- [c47]Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, Steven Lyubomirsky, Sorawee Porncharoenwase, René Just, Gilbert Louis Bernstein, Zachary Tatlock:
FPGA Technology Mapping Using Sketch-Guided Program Synthesis. ASPLOS (2) 2024: 416-432 - [c46]Rock Yuren Pang, Sebastin Santy, René Just, Katharina Reinecke:
BLIP: Facilitating the Exploration of Undesirable Consequences of Digital Technologies. CHI 2024: 290:1-290:18 - [c45]Eunice Jun, Edward Misback, Jeffrey Heer, René Just:
rTisane: Externalizing conceptual models for data analysis prompts reconsideration of domain assumptions and facilitates statistical modeling. CHI 2024: 1037:1-1037:16 - [c44]Marko Ivankovic, Goran Petrovic, Yana Kulizhskaya, Mateusz Lewko, Luka Kalinovcic, René Just, Gordon Fraser:
Productive Coverage: Improving the Actionability of Code Coverage. ICSE-SEIP 2024: 58-68 - [c43]Benjamin Kushigian, Samuel J. Kaufman, Ryan Featherman, Hannah Potter, Ardi Madadi, René Just:
Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs. ISSTA 2024: 654-665 - [c42]Jordan Samhi, René Just, Tegawendé F. Bissyandé, Michael D. Ernst, Jacques Klein:
Call Graph Soundness in Android Static Analysis. ISSTA 2024: 945-957 - [c41]Pedro Tavares, Ana C. R. Paiva, Domenico Amalfitano, René Just:
FRAFOL: FRAmework FOr Learning mutation testing. ISSTA 2024: 1846-1850 - [c40]Rock Yuren Pang, Sebastin Santy, René Just, Katharina Reinecke:
A Demonstration of BLIP: A System to Explore Undesirable Consequences of Digital Technologies. IUI Companion 2024: 70-73 - [c39]James Yoo, Michael D. Ernst, René Just:
Verifying the Option Type with Rely-Guarantee Reasoning. ASE 2024: 367-380 - [i18]Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, Steven Lyubomirsky, Sorawee Porncharoenwase, René Just, Gilbert Louis Bernstein, Zachary Tatlock:
FPGA Technology Mapping Using Sketch-Guided Program Synthesis. CoRR abs/2401.16526 (2024) - [i17]Rock Yuren Pang, Sebastin Santy, René Just, Katharina Reinecke:
BLIP: Facilitating the Exploration of Undesirable Consequences of Digital Technologies. CoRR abs/2405.06783 (2024) - [i16]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:
AI-Assisted Assessment of Coding Practices in Modern Code Review. CoRR abs/2405.13565 (2024) - [i15]Jordan Samhi, René Just, Tegawendé F. Bissyandé, Michael D. Ernst, Jacques Klein:
Call Graph Soundness in Android Static Analysis. CoRR abs/2407.07804 (2024) - 2023
- [j10]Xavier Devroey, Alessio Gambi, Juan Pablo Galeotti, René Just, Fitsum Meshesha Kifetew, Annibale Panichella, Sebastiano Panichella:
JUGE: An infrastructure for benchmarking Java unit test generators. Softw. Test. Verification Reliab. 33(3) (2023) - [c38]Goran Petrovic, Marko Ivankovic, Gordon Fraser, René Just:
Please fix this mutant: How do developers resolve mutants surfaced during code review? ICSE-SEIP 2023: 150-161 - [c37]Elisabeth Griebl, Benedikt Fein, Florian Obermüller, Gordon Fraser, René Just:
On the Applicability of Language Models to Block-Based Programs. ICSE 2023: 2374-2386 - [c36]Zimin Chen, Malgorzata Salawa, Manushree Vijayvergiya, Goran Petrovic, Marko Ivankovic, René Just:
MuRS: Mutant Ranking and Suppression using Identifier Templates. ESEC/SIGSOFT FSE 2023: 1798-1808 - [e1]René Just, Gordon Fraser:
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023. ACM 2023 [contents] - [i14]Elisabeth Griebl, Benedikt Fein, Florian Obermüller, Gordon Fraser, René Just:
On the Applicability of Language Models to Block-Based Programs. CoRR abs/2302.03927 (2023) - [i13]Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, René Just, Zachary Tatlock:
Generate Compilers from Hardware Models! CoRR abs/2305.09580 (2023) - [i12]Zimin Chen, Malgorzata Salawa, Manushree Vijayvergiya, Goran Petrovic, Marko Ivankovic, René Just:
MuRS: Mutant Ranking and Suppression using Identifier Templates. CoRR abs/2306.09130 (2023) - [i11]Eunice Jun, Edward Misback, Jeffrey Heer, René Just:
rTisane: Externalizing conceptual models for data analysis increases engagement with domain knowledge and improves statistical model quality. CoRR abs/2310.16262 (2023) - 2022
- [j9]Domenico Amalfitano, Ana C. R. Paiva, Alexis Inquel, Luís Pinto, Anna Rita Fasolino, René Just:
How do Java mutation tools differ? Commun. ACM 65(12): 74-89 (2022) - [j8]Eunice Jun, Melissa Birchfield, Nicole de Moura, Jeffrey Heer, René Just:
Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications. ACM Trans. Comput. Hum. Interact. 29(1): 6:1-6:28 (2022) - [j7]Manish Motwani, Mauricio Soto, Yuriy Brun, René Just, Claire Le Goues:
Quality of Automated Program Repair on Real-World Defects. IEEE Trans. Software Eng. 48(2): 637-661 (2022) - [j6]Goran Petrovic, Marko Ivankovic, Gordon Fraser, René Just:
Practical Mutation Testing at Scale: A view from Google. IEEE Trans. Software Eng. 48(10): 3900-3912 (2022) - [c35]Yuren Pang, Katharina Reinecke, René Just:
Apéritif: Scaffolding Preregistrations to Automatically Generate Analysis Code and Methods Descriptions. CHI 2022: 207:1-207:15 - [c34]Eunice Jun, Audrey Seo, Jeffrey Heer, René Just:
Tisane: Authoring Statistical Models via Formal Reasoning from Conceptual and Data Relationships. CHI 2022: 490:1-490:16 - [c33]Samuel J. Kaufman, Ryan Featherman, Justin Alvin, Bob Kurtz, Paul Ammann, René Just:
Prioritizing Mutants to Guide Mutation Testing. ICSE 2022: 1743-1754 - [c32]Cailin Winston, Caleb Winston, Chloe N. Winston, Claris Winston, Cleah Winston, Rajesh P. N. Rao, René Just:
Repairing Brain-Computer Interfaces with Fault-Based Data Acquisition. ICSE 2022: 1869-1880 - [c31]Hannah Potter, Ardi Madadi, René Just, Cyrus Omar:
Contextualized Programming Language Documentation. Onward! 2022: 1-15 - [i10]Eunice Jun, Audrey Seo, Jeffrey Heer, René Just:
Tisane: Authoring Statistical Models via Formal Reasoning from Conceptual and Data Relationships. CoRR abs/2201.02705 (2022) - [i9]Cailin Winston, Caleb Winston, Chloe N. Winston, Claris Winston, Cleah Winston, Rajesh P. N. Rao, René Just:
Repairing Brain-Computer Interfaces with Fault-Based Data Acquisition. CoRR abs/2203.10677 (2022) - 2021
- [c30]Goran Petrovic, Marko Ivankovic, Gordon Fraser, René Just:
Does mutation testing improve testing practices? ICSE 2021: 910-921 - [i8]Sahil Verma, Michael D. Ernst, René Just:
Removing biased data to improve fairness and accuracy. CoRR abs/2102.03054 (2021) - [i7]Goran Petrovic, Marko Ivankovic, Gordon Fraser, René Just:
Practical Mutation Testing at Scale. CoRR abs/2102.11378 (2021) - [i6]Goran Petrovic, Marko Ivankovic, Gordon Fraser, René Just:
Does mutation testing improve testing practices? CoRR abs/2103.07189 (2021) - [i5]Eunice Jun, Melissa Birchfield, Nicole de Moura, Jeffrey Heer, René Just:
Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications. CoRR abs/2104.02712 (2021) - [i4]Xavier Devroey, Alessio Gambi, Juan Pablo Galeotti, René Just, Fitsum Meshesha Kifetew, Annibale Panichella, Sebastiano Panichella:
JUGE: An Infrastructure for Benchmarking Java Unit Test Generators. CoRR abs/2106.07520 (2021) - 2020
- [c29]Yiqun T. Chen, Rahul Gopinath, Anita Tadakamalla, Michael D. Ernst, Reid Holmes, Gordon Fraser, Paul Ammann, René Just:
Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria, and Test Set Size. ASE 2020: 237-249 - [c28]Gregory Gay, René Just:
Defects4J as a Challenge Case for the Search-Based Software Engineering Community. SSBSE 2020: 255-261
2010 – 2019
- 2019
- [j5]René Just, Jens Krinke, Nan Li, José Miguel Rojas:
Special issue on mutation testing and analysis. Softw. Test. Verification Reliab. 29(1-2) (2019) - [c27]Justin Alvin, Bob Kurtz, Paul Ammann, Huzefa Rangwala, René Just:
Guiding testing effort using mutant utility. ICSE (Companion Volume) 2019: 312-313 - [c26]Benjamin Kushigian, Amit Rawat, René Just:
Medusa: Mutant Equivalence Detection Using Satisfiability Analysis. ICST Workshops 2019: 77-82 - [c25]Marko Ivankovic, Goran Petrovic, René Just, Gordon Fraser:
Code coverage at Google. ESEC/SIGSOFT FSE 2019: 955-963 - [c24]Eunice Jun, Maureen Daum, Jared Roesch, Sarah E. Chasins, Emery D. Berger, René Just, Katharina Reinecke:
Tea: A High-level Language and Runtime System for Automating Statistical Analysis. UIST 2019: 591-603 - [i3]Eunice Jun, Maureen Daum, Jared Roesch, Sarah E. Chasins, Emery D. Berger, René Just, Katharina Reinecke:
Tea: A High-level Language and Runtime System for Automating Statistical Analysis. CoRR abs/1904.05387 (2019) - 2018
- [j4]Manish Motwani, Sandhya Sankaranarayanan, René Just, Yuriy Brun:
Do automated program repair techniques repair hard and important bugs? Empir. Softw. Eng. 23(5): 2901-2947 (2018) - [c23]Manish Motwani, Sandhya Sankaranarayanan, René Just, Yuriy Brun:
Do automated program repair techniques repair hard and important bugs? ICSE 2018: 25 - [c22]Goran Petrovic, Marko Ivankovic, Bob Kurtz, Paul Ammann, René Just:
An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions. ICST Workshops 2018: 47-53 - [c21]René Just, Chris Parnin, Ian Drosos, Michael D. Ernst:
Comparing developer-provided to user-provided tests for fault localization and automated program repair. ISSTA 2018: 287-297 - 2017
- [j3]Mike Papadakis, René Just:
Special issue on Mutation Testing. Inf. Softw. Technol. 81: 1-2 (2017) - [c20]Spencer Pearson, José Campos, René Just, Gordon Fraser, Rui Abreu, Michael D. Ernst, Deric Pang, Benjamin Keller:
Evaluating and improving fault localization. ICSE 2017: 609-620 - [c19]Andrea Arcuri, Gordon Fraser, René Just:
Private API Access and Functional Mocking in Automated Unit Test Generation. ICST 2017: 126-137 - [c18]René Just, Bob Kurtz, Paul Ammann:
Inferring mutant utility from program context. ISSTA 2017: 284-294 - 2016
- [c17]Urko Rueda, René Just, Juan P. Galeotti, Tanja E. J. Vos:
Unit testing tool competition: round four. SBST@ICSE 2016: 19-28 - [i2]Miltiadis Allamanis, Earl T. Barr, René Just, Charles Sutton:
Tailored Mutants Fit Bugs Better. CoRR abs/1611.02516 (2016) - 2015
- [j2]René Just, Franz Schweiggert:
Higher accuracy and lower run time: efficient mutation analysis using non-redundant mutation operators. Softw. Test. Verification Reliab. 25(5-7): 490-507 (2015) - [c16]Sina Shamshiri, René Just, José Miguel Rojas, Gordon Fraser, Phil McMinn, Andrea Arcuri:
Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T). ASE 2015: 201-211 - [c15]Paulo Barros, René Just, Suzanne Millstein, Paul Vines, Werner Dietl, Marcelo d'Amorim, Michael D. Ernst:
Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T). ASE 2015: 669-679 - [c14]René Just, Michael D. Ernst, Gordon Fraser:
Mutation Analysis for the Real World: Effectiveness, Efficiency, and Proper Tool Support. Software Engineering & Management 2015: 53-54 - [c13]René Just, Michael D. Ernst, Suzanne Millstein:
Collaborative Verification of Information Flow for a High-Assurance App Store. Software Engineering & Management 2015: 77 - 2014
- [c12]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:
Collaborative Verification of Information Flow for a High-Assurance App Store. CCS 2014: 1092-1104 - [c11]René Just, Michael D. Ernst, Gordon Fraser:
Efficient mutation analysis by propagating and partitioning infected execution states. ISSTA 2014: 315-326 - [c10]René Just:
The major mutation framework: efficient and scalable mutation analysis for Java. ISSTA 2014: 433-436 - [c9]René Just, Darioush Jalali, Michael D. Ernst:
Defects4J: a database of existing faults to enable controlled testing studies for Java programs. ISSTA 2014: 437-440 - [c8]René Just, Darioush Jalali, Laura Inozemtseva, Michael D. Ernst, Reid Holmes, Gordon Fraser:
Are mutants a valid substitute for real faults in software testing? SIGSOFT FSE 2014: 654-665 - 2013
- [b1]René Just:
On effective and efficient mutation analysis for unit and integration testing. University of Ulm, 2013 - [i1]René Just, Michael D. Ernst, Gordon Fraser:
Using State Infection Conditions to Detect Equivalent Mutants and Speed up Mutation Analysis. CoRR abs/1303.2784 (2013) - 2012
- [c7]René Just, Gregory M. Kapfhammer, Franz Schweiggert:
Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis? ICST 2012: 720-725 - [c6]René Just, Gregory M. Kapfhammer, Franz Schweiggert:
Using Non-redundant Mutation Operators and Test Suite Prioritization to Achieve Efficient and Scalable Mutation Analysis. ISSRE 2012: 11-20 - 2011
- [j1]René Just, Franz Schweiggert:
Automating unit and integration testing with partial oracles. Softw. Qual. J. 19(4): 753-769 (2011) - [c5]René Just, Gregory M. Kapfhammer, Franz Schweiggert:
Using conditional mutation to increase the efficiency of mutation analysis. AST 2011: 50-56 - [c4]René Just, Franz Schweiggert, Gregory M. Kapfhammer:
MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler. ASE 2011: 612-615 - 2010
- [c3]René Just, Franz Schweiggert:
Automating software tests with partial oracles in integrated environments. AST 2010: 91-94
2000 – 2009
- 2009
- [c2]René Just, Franz Schweiggert:
Evaluating Testing Strategies for Imaging Software by Means of Mutation Analysis. ICST Workshops 2009: 205-209 - 2008
- [c1]Ralph Guderlei, René Just, Christoph Schneckenburger, Franz Schweiggert:
Benchmarking Testing Strategies with Tools from Mutation Analysis. ICST Workshops 2008: 360-364
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
