René Just
Orcid: 0000-0002-5982-275X
According to our database1,
René Just
authored at least 63 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
A Demonstration of BLIP: A System to Explore Undesirable Consequences of Digital Technologies.
Proceedings of the Companion Proceedings of the 29th International Conference on Intelligent User Interfaces, 2024
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024
BLIP: Facilitating the Exploration of Undesirable Consequences of Digital Technologies.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2024
rTisane: Externalizing conceptual models for data analysis prompts reconsideration of domain assumptions and facilitates statistical modeling.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2024
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024
Proceedings of the 1st ACM International Conference on AI-Powered Software, 2024
2023
Softw. Test. Verification Reliab., May, 2023
rTisane: Externalizing conceptual models for data analysis increases engagement with domain knowledge and improves statistical model quality.
CoRR, 2023
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
Please fix this mutant: How do developers resolve mutants surfaced during code review?
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023
2022
IEEE Trans. Software Eng., 2022
IEEE Trans. Software Eng., 2022
Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications.
ACM Trans. Comput. Hum. Interact., 2022
Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
Apéritif: Scaffolding Preregistrations to Automatically Generate Analysis Code and Methods Descriptions.
Proceedings of the CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022, 2022
Tisane: Authoring Statistical Models via Formal Reasoning from Conceptual and Data Relationships.
Proceedings of the CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022, 2022
2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021
2020
Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020
Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria, and Test Set Size.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
2019
Softw. Test. Verification Reliab., 2019
Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology, 2019
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019
2018
Empir. Softw. Eng., 2018
Comparing developer-provided to user-provided tests for fault localization and automated program repair.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018
An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions.
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018
2017
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
Proceedings of the 39th International Conference on Software Engineering, 2017
2016
Proceedings of the 9th International Workshop on Search-Based Software Testing, 2016
2015
Higher accuracy and lower run time: efficient mutation analysis using non-redundant mutation operators.
Softw. Test. Verification Reliab., 2015
Collaborative Verification of Information Flow for a High-Assurance App Store.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015
Mutation Analysis for the Real World: Effectiveness, Efficiency, and Proper Tool Support.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015
Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015
Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015
2014
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014
Defects4J: a database of existing faults to enable controlled testing studies for Java programs.
Proceedings of the International Symposium on Software Testing and Analysis, 2014
Efficient mutation analysis by propagating and partitioning infected execution states.
Proceedings of the International Symposium on Software Testing and Analysis, 2014
Proceedings of the International Symposium on Software Testing and Analysis, 2014
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014
2013
PhD thesis, 2013
Using State Infection Conditions to Detect Equivalent Mutants and Speed up Mutation Analysis
CoRR, 2013
2012
Using Non-redundant Mutation Operators and Test Suite Prioritization to Achieve Efficient and Scalable Mutation Analysis.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
2011
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
Proceedings of the 6th International Workshop on Automation of Software Test, 2011
2010
Proceedings of the 5th Workshop on Automation of Software Test, 2010
2009
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009
2008
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008