Bernd Fischer - RankMe

131 papers A* 19A 16B 25C 7Misc 1Journal 32Unranked 27

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	FLITSR: Improved Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction. ACM Trans. Softw. Eng. Methodol. Dylan Callaghan, Bernd Fischer
2026	—	`conf`	Iekkë: A SAT-Based Bounded-Round Verifier for Multi-Threaded Programs (Competition Contribution). TACAS (2) Paolo Di Biase, Bernd Fischer, Salvatore La Torre, Peter Schrammel, Gennaro Parlato
2025	A	`conf`	An Anatomy of 488 Faults from Defects4J Based on the Control- and Data-Flow Graph Representations of Programs. EASE Alexandra van der Spuy, Bernd Fischer
2025	J	`jnl`	Empirical Analysis of Temporal and Spatial Fault Characteristics in Multi-Fault Bug Repositories. CoRR Dylan Callaghan, Alexandra van der Spuy, Bernd Fischer
2025	J	`jnl`	Flow Graph-Based Classification of Defects4J Faults. CoRR Alexandra van der Spuy, Bernd Fischer
2025	A	`conf`	Mining Bug Repositories for Multi-Fault Programs. MSR Dylan Callaghan, Bernd Fischer
2024	J	`jnl`	Grammar-based test suite construction using coverage-directed algorithms over LR-graphs. J. Syst. Softw. Christoff Rossouw, Bernd Fischer
2024	J	`jnl`	Mining Bug Repositories for Multi-Fault Programs. CoRR Dylan Callaghan, Bernd Fischer
2024	J	`jnl`	Spectrum-based rule- and item-level localization of faults in context-free grammars. J. Syst. Softw. Moeketsi Raselimo, Bernd Fischer
2024	—	`conf`	Static Data Race Detection via Lazy Sequentialization. NETYS Bernd Fischer, Giulio Garbi, Salvatore La Torre, Gennaro Parlato, Peter Schrammel
2023	A	`conf`	Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction. ISSTA Dylan Callaghan, Bernd Fischer
2023	J	`jnl`	Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction. CoRR Dylan Callaghan, Bernd Fischer
2023	—	`conf`	Static Test Case Prioritization Strategies for Grammar-Based Testing. ASEW Moeketsi Raselimo, Lars Grunske, Bernd Fischer
2022	J	`jnl`	Bounded Verification of Multi-threaded Programs via Lazy Sequentialization. ACM Trans. Program. Lang. Syst. Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2022	A*	`conf`	CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory. ASE Bernd Fischer, Salvatore La Torre, Gennaro Parlato, Peter Schrammel
2022	B	`ed.`	Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, Auckland, New Zealand, December 6-7, 2022 SLE Bernd Fischer, Lola Burgueño, Walter Cazzola
2021	B	`conf`	Automatic grammar repair. SLE Moeketsi Raselimo, Bernd Fischer
2021	B	`conf`	Vision: bias in systematic grammar-based test suite construction algorithms. SLE Christoff Rossouw, Bernd Fischer
2020	B	`conf`	An interactive feedback system for grammar development (tool paper). SLE Chelsea Barraball, Moeketsi Raselimo, Bernd Fischer
2020	B	`conf`	Grammar-based testing for little languages: an experience report with student compilers. SLE Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, Bernd Fischer
2020	B	`conf`	Test case generation from context-free grammars using generalized traversal of LR-automata. SLE Christoff Rossouw, Bernd Fischer
2019	B	`conf`	Breaking parsers: mutation-based generation of programs with guaranteed syntax errors. SLE Moeketsi Raselimo, Jan Taljaard, Bernd Fischer
2019	—	`conf`	ConceptCloud 2.0 Visualisation and Exploration of Geolocation-Rich Semi-Structured Data Sets. ICFCA (Supplements) Tiaan du Toit, Joshua Berndt, Katarina Britz, Bernd Fischer
2019	J	`jnl`	Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs. Softw. Syst. Model. Geoff Birch, Bernd Fischer, Michael Poppleton
2019	—	`conf`	SMT-based refutation of spurious bug reports in the clang static analyzer. ICSE (Companion Volume) Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole
2019	B	`conf`	Spectrum-based fault localization for context-free grammars. SLE Moeketsi Raselimo, Bernd Fischer
2019	A*	`conf`	VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq. ASE Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2018	A*	`conf`	ESBMC 5.0: an industrial-strength C model checker. ASE Mikhail Y. R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole
2018	J	`jnl`	Preemptive type checking. J. Log. Algebraic Methods Program. Neville Grech, Bernd Fischer, Julian Rathke
2018	J	`jnl`	SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer. CoRR Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole
2018	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings ICTAC Bernd Fischer, Tarmo Uustalu
2017	—	`conf`	Concurrent Program Verification with Lazy Sequentialization and Interval Analysis. NETYS Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2017	—	`conf`	DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution). TACAS (2) Williame Rocha, Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Bernd Fischer
2017	J	`jnl`	Exploratory search of academic publication and citation data using interactive tag cloud visualizations. Scientometrics Marcel Dunaiski, Gillian J. Greene, Bernd Fischer
2017	—	`conf`	Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution). TACAS (2) Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2017	A*	`conf`	Parallel bug-finding in concurrent programs via reduced interleaving instances. ASE Truc L. Nguyen, Peter Schrammel, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2017	B	`conf`	Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models. SEFM Ermenegildo Tomasco, Truc Lam Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2017	J	`jnl`	Visualizing and exploring software version control repositories using interactive tag clouds over formal concept lattices. Inf. Softw. Technol. Gillian J. Greene, Marvin Esterhuizen, Bernd Fischer
2016	A*	`conf`	CVExplorer: identifying candidate developers by mining and exploring their open source contributions. ASE Gillian J. Greene, Bernd Fischer
2016	B	`conf`	Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs. ATVA Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2016	B	`conf`	Lazy sequentialization for TSO and PSO via shared memory abstractions. FMCAD Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2016	A	`conf`	MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution). TACAS Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2016	B	`ed.`	Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2016, Amsterdam, The Netherlands, October 31 - November 1, 2016 GPCE Bernd Fischer, Ina Schaefer
2016	—	`conf`	Single-Focus Broadening Navigation in Concept Lattices. CDUD@CLA Gillian J. Greene, Bernd Fischer
2016	J	`jnl`	Synthesizing MPI Implementations from Functional Data-Parallel Programs. Int. J. Parallel Program. Tristan Aubrey-Jones, Bernd Fischer
2016	B	`conf`	Using Fast Model-Based Fault Localisation to Aid Students in Self-Guided Program Repair and to Improve Assessment. ITiCSE Geoff Birch, Bernd Fischer, Michael Poppleton
2015	—	`conf`	Fast Model-Based Fault Localisation with Test Suites. TAP@STAF Geoff Birch, Bernd Fischer, Michael R. Poppleton
2015	B	`conf`	Interactive tag cloud visualization of software version control repositories. VISSOFT Gillian J. Greene, Bernd Fischer
2015	A*	`conf`	Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs. ASE Omar Inverso, Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2015	A	`conf`	MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings - (Competition Contribution). TACAS Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2015	—	`ed.`	Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings SPIN Bernd Fischer, Jaco Geldenhuys
2015	J	`jnl`	Model checking LTL properties over ANSI-C programs with bounded traces. Softw. Syst. Model. Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
2015	A	`conf`	Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution). TACAS Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2015	A	`conf`	Verifying Concurrent Programs by Memory Unwinding. TACAS Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2014	J	`jnl`	Applying symbolic bounded model checking to the 2012 RERS greybox challenge. Int. J. Softw. Tools Technol. Transf. Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
2014	A*	`conf`	Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization. CAV Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2014	—	`conf`	ConceptCloud: a tagcloud browser for software archives. SIGSOFT FSE Gillian J. Greene, Bernd Fischer
2014	A	`conf`	ESBMC 1.22 - (Competition Contribution). TACAS Jeremy Morse, Mikhail Ramalho, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
2014	A	`conf`	Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution). TACAS Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2014	A	`conf`	MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution). TACAS Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2013	A	`conf`	CSeq: A Sequentialization Tool for C - (Competition Contribution). TACAS Bernd Fischer, Omar Inverso, Gennaro Parlato
2013	A*	`conf`	CSeq: A concurrency pre-processor for sequential C verification tools. ASE Bernd Fischer, Omar Inverso, Gennaro Parlato
2013	A	`conf`	Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution). TACAS Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
2013	C	`conf`	Preemptive Type Checking in Dynamically Typed Languages. ICTAC Neville Grech, Julian Rathke, Bernd Fischer
2013	—	`conf`	SMT-Based Bounded Model Checking of C++ Programs. ECBS Mikhail Ramalho, Mauro Freitas, Felipe Rodrigues Monteiro Sousa, Hendrio Marques, Lucas C. Cordeiro, Bernd Fischer
2012	C	`conf`	A Declarative Fine-grained Role-based Access Control Model and Mechanism for the Web Application Domain. ICSOFT Seyed Hossein Ghotbi, Bernd Fischer
2012	A	`conf`	Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution). TACAS Lucas C. Cordeiro, Jeremy Morse, Denis A. Nicole, Bernd Fischer
2012	J	`jnl`	SMT-Based Bounded Model Checking for Embedded ANSI-C Software. IEEE Trans. Software Eng. Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva
2011	B	`conf`	Comparison of Context-Free Grammars Based on Parsing Generated Test Data. SLE Bernd Fischer, Ralf Lämmel, Vadim Zaytsev
2011	B	`conf`	Context-Bounded Model Checking of LTL Properties for ANSI-C Software. SEFM Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
2011	—	`conf`	Higher-order transformations with nested concrete syntax. LDTA Giorgios Rob Economopoulos, Bernd Fischer
2011	B	`conf`	Monitoring aspects for the customization of automatically generated code for big-step models. GPCE Shahram Esmaeilsabzali, Bernd Fischer, Joanne M. Atlee
2011	—	`conf`	VLex: visualizing a lexical analyzer generator - tool demonstration. LDTA Alisdair Jorgensen, Giorgios Rob Economopoulos, Bernd Fischer
2011	—	`conf`	Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker. SBESC Raimundo S. Barreto, Lucas C. Cordeiro, Bernd Fischer
2011	J	`jnl`	Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker CoRR Raimundo S. Barreto, Lucas C. Cordeiro, Bernd Fischer
2011	A*	`conf`	Verifying multi-threaded software using smt-based context-bounded model checking. ICSE Lucas C. Cordeiro, Bernd Fischer
2010	J	`jnl`	Bounded Model Checking of Multi-threaded Software using SMT solvers CoRR Lucas C. Cordeiro, Bernd Fischer
2010	—	`conf`	Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking. ECBS Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva
2010	B	`conf`	Deriving Safety Cases for Hierarchical Structure in Model-Based Development. SAFECOMP Nurlida Basir, Ewen Denney, Bernd Fischer
2010	C	`conf`	Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking. ICTAC Ashish Darbari, Bernd Fischer, João Marques-Silva
2010	B	`conf`	JEqualityGen: generating equality and hashing methods. GPCE Neville Grech, Julian Rathke, Bernd Fischer
2009	C	`conf`	A Lazy Unbounded Model Checker for Event-B. ICFEM Paulo J. Matos, Bernd Fischer, João Marques-Silva
2009	A*	`conf`	A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software. ASE Ewen Denney, Bernd Fischer
2009	J	`jnl`	Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking CoRR Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva
2009	B	`ed.`	Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings GPCE Jeremy G. Siek, Bernd Fischer
2009	J	`jnl`	Guest editors' introduction. Autom. Softw. Eng. Alexander Egyed, Bernd Fischer
2009	J	`jnl`	Industrial-Strength Formally Certified SAT Solving CoRR Ashish Darbari, Bernd Fischer, João Marques-Silva
2009	Misc	`conf`	Program Repair as Sound Optimization of Broken Programs. TASE Bernd Fischer, Ando Saabas, Tarmo Uustalu
2009	J	`jnl`	SMT-Based Bounded Model Checking for Embedded ANSI-C Software CoRR Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva
2009	A*	`conf`	SMT-Based Bounded Model Checking for Embedded ANSI-C Software. ASE Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva
2009	—	`conf`	Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. ICESS Lucas C. Cordeiro, Bernd Fischer, Huan Chen, João Marques-Silva
2008	B	`conf`	Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. SAFECOMP Nurlida Basir, Ewen Denney, Bernd Fischer
2008	—	`conf`	Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. SafeCert@ETAPS Nurlida Basir, Ewen Denney, Bernd Fischer
2008	—	`conf`	Explaining Verification Conditions. AMAST Ewen Denney, Bernd Fischer
2008	B	`conf`	Generating customized verifiers for automatically generated code. GPCE Ewen Denney, Bernd Fischer
2007	A*	`ed.`	22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA ASE R. E. Kurt Stirewalt, Alexander Egyed, Bernd Fischer
2006	B	`conf`	A generic annotation inference algorithm for the safety certification of automatically generated code. GPCE Ewen Denney, Bernd Fischer
2006	J	`jnl`	An Empirical Evaluation of Automated Theorem Provers in Software Certification. Int. J. Artif. Intell. Tools Ewen Denney, Bernd Fischer, Johann Schumann
2006	A*	`conf`	Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract). ASE Ewen Denney, Bernd Fischer
2006	J	`jnl`	Empirically Successful Automated Reasoning: Applications Issue. J. Autom. Reason. Bernd Fischer, Geoff Sutcliffe, Stephan Schulz
2006	J	`jnl`	Empirically Successful Automated Reasoning: Systems Issue. J. Autom. Reason. Bernd Fischer, Geoff Sutcliffe, Stephan Schulz
2006	C	`conf`	Extending Source Code Generators for Evidence-Based Software Certification. ISoLA Ewen Denney, Bernd Fischer
2005	B	`conf`	An ensemble approach to building Mercer Kernels with prior information. SMC Ashok N. Srivastava, Johann Schumann, Bernd Fischer
2005	B	`conf`	Certifiable Program Generation. GPCE Ewen Denney, Bernd Fischer
2005	A*	`conf`	Software certificate management (SoftCeMent'05). ASE Ewen Denney, Bernd Fischer, Dieter Hutter, Mark Jones
2004	—	`conf`	Adding Assurance to Automatically Generated Code. HASE Ewen Denney, Bernd Fischer, Johann Schumann
2004	A	`conf`	Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. IJCAR Ewen Denney, Bernd Fischer, Johann Schumann
2003	C	`conf`	Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract). LOPSTR Bernd Fischer, Eelco Visser
2003	A*	`conf`	Applying AutoBayes to the Analysis of Planetary Nebulae Images. ASE Bernd Fischer, Johann Schumann
2003	J	`jnl`	AutoBayes: a system for generating data analysis programs from statistical models. J. Funct. Program. Bernd Fischer, Johann Schumann
2003	—	`conf`	Certification Support for Automatically Generated Programs. HICSS Johann Schumann, Bernd Fischer, Michael W. Whalen, Jon Whittle
2003	—	`conf`	Correctness of Source-Level Safety Policies. FME Ewen Denney, Bernd Fischer
2003	—	`conf`	Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax. Domain-Specific Program Generation Bernd Fischer, Eelco Visser
2002	A	`conf`	AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description. CADE Michael W. Whalen, Johann Schumann, Bernd Fischer
2002	—	`conf`	Automatic Derivation of Statistical Algorithms: The EM Family and Beyond. NIPS Alexander G. Gray, Bernd Fischer, Johann Schumann, Wray L. Buntine
2002	—	`—`	Deduction-based software component retrieval. Bernd Fischer
2002	—	`ed.`	Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002 ACM SIGPLAN Workshop on Rule-Based Programming Bernd Fischer, Eelco Visser
2002	—	`conf`	Synthesizing Certified Code. FME Michael W. Whalen, Johann Schumann, Bernd Fischer
2002	J	`jnl`	The 2002 AAAI Spring Symposium Series. AI Mag. Jussi Karlgren, Pentti Kanerva, Björn Gambäck, Kenneth D. Forbus, Kagan Tumer, Peter Stone, Kai Goebel, Gaurav S. Sukhatme, Tucker R. Balch, Bernd Fischer, Doug Smith, Sanda M. Harabagiu, Vinay K. Chaudri, Mike Barley, Hans W. Guesgen, Thomas F. Stahovich, Randall Davis, James A. Landay
2001	—	`ch.`	Deduction-based software component retrieval. Ausgezeichnete Informatikdissertationen Bernd Fischer
2001	—	`conf`	Interpreting Abstract Interpretations in Membership Equational Logic. RULE@PLI Bernd Fischer, Grigore Rosu
2000	—	`conf`	Generating Data Analysis Programs from Statistical Models. SAIG Bernd Fischer, Johann Schumann, Thomas Pressburger
2000	J	`jnl`	Specification-Based Browsing of Software Component Libraries. Autom. Softw. Eng. Bernd Fischer
1999	A*	`conf`	An Integration of Deductive Retrieval into Deductive Synthesis. ASE Bernd Fischer, Jon Whittle
1999	J	`jnl`	Integrating Deduction Techniques in a Software Reuse Application. J. Univers. Comput. Sci. Thomas Baar, Bernd Fischer, Dirk Fuchs
1999	A*	`conf`	Towards Automated Synthesis of Data Mining Programs. KDD Wray L. Buntine, Bernd Fischer, Thomas Pressburger
1998	A*	`conf`	Specification-based Browsing of Software Component Libraries. ASE Bernd Fischer
1997	A*	`conf`	NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical. ASE Johann Schumann, Bernd Fischer
1997	A	`conf`	SETHEO Goes Software Engineering: Application of ATP to Software Reuse. CADE Bernd Fischer, Johann Schumann
1994	J	`jnl`	Die inferenzbasierte Softwareentwicklungsumgebung NORA. Inform. Forsch. Entwickl. Gregor Snelting, Bernd Fischer, Franz-Josef Grosch, Matthias Kievernagel, Andreas Zeller
1992	J	`jnl`	ALADIN: A Scanner Generator for Incremental Programming Environments. Softw. Pract. Exp. Bernd Fischer, Carsten Hammer, Werner Struckmann