Recently Added

Refactoring Tools are Trustworthy Enough and Trust Must be EarnedJohn Brant, Friedrich Steimann. IEEE Software, 32(6):80-83, 2015. [doi] [classification] 5 years ago
Formalizing refactorings with graph transformationsTom Mens, Niels Van Eetvelde, Serge Demeyer, Dirk Janssens. SMR, 17(4):247-276, 2005. [doi] [classification] 5 years ago
Formal verification of translation validators: a case study on instruction scheduling optimizationsJean-Baptiste Tristan, Xavier Leroy. POPL 2008: 17-27 [doi] [classification] 5 years ago
Credible Compilation with PointersM. Rinard, D. Marinov. In Proceedings of the FLoC Workshop on Run-Time Result Verification. 1999: [classification] 5 years ago
Proof-Carrying CodeGeorge C. Necula. POPL 1997: 106-119 [doi] [classification] 5 years ago
Foundational Proof-Carrying CodeAndrew W. Appel. lics 2001: 247-256 [classification] 5 years ago
IncA: a DSL for the definition of incremental program analysesTamás Szabó, Sebastian Erdweg, Markus Völter. ASE 2016: 320-331 [doi] [classification] 5 years ago
Specification, implementation and verification of refactoringsMax Schaefer. PhD thesis, University of Oxford, UK, 2010. [doi] [classification] 5 years ago
Coherent branching feature bisimulationT. Belder, {Beek, ter}, M.H., {Vink, de}, E.P.. In Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering (FMSPLE 2015, London, UK, April 11, 2015). 2015: 14-30 [doi] [classification] 5 years ago
The nuXmv Symbolic Model CheckerRoberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta. cav 2014: 334-342 [doi] [classification] 5 years ago
Isabelle/HOL - A Proof Assistant for Higher-Order LogicTobias Nipkow, Lawrence C. Paulson, Markus Wenzel. Volume 2283 of Lecture Notes in Computer Science, Springer, 2002. [classification] 5 years ago
Mechanical verification of refactoringsNik Sultana, Simon J. Thompson. PEPM 2008: 51-60 [doi] [classification] 5 years ago
Decision of the Governing Board of the ECSEL Joint Undertaking: Adopting the ECSEL Multi-annual Strategic Plan 2017{ECSEL Joint Undertaking}. \url{https://www.ecsel.eu/sites/default/files/2017-09/ecsel_gb_2016_70_-_masp_2017-annotated.pdf}, 2017. [doi] [classification] 5 years ago
System Validation (4): Modelling Software, Protocols, and other behaviourJan Friso Groote. 2019. [classification] 5 years ago
System Validation (3): Requirements by modal formulasJan Friso Groote. 2019. [classification] 5 years ago
System Validation (2): Model process behaviourJan Friso Groote. 2019. [classification] 5 years ago
System Validation: Automata and behavioural equivalencesJan Friso Groote. 2019. [classification] 5 years ago
Parallel Graph AnalytiX (PGX) toolkitOracle. 2019. [classification] 5 years ago
WebLab{TU Delft}. 2019. [classification] 5 years ago
researchr.orgEelco Visser. http://researchr.org, 2009. [doi] [classification] 5 years ago
TorXakisTorXakis. 2019. [classification] 5 years ago
Laws of Software Evolution RevisitedM. M. Lehman. ewspt 1996: 108-124 [classification] 5 years ago
On the evolution of Lehman's LawsMichael W. Godfrey, Daniel M. Germán. SMR, 26(7):613-619, 2014. [doi] [classification] 5 years ago
Refactoring - Improving the Design of Existing CodeMartin Fowler. Addison Wesley object technology series, Addison-Wesley, 1999. [doi] [classification] 5 years ago
How We Refactor, and How We Know ItEmerson R. Murphy-Hill, Chris Parnin, Andrew P. Black. TSE, 38(1):5-18, 2012. [doi] [classification] 5 years ago
A Survey of Software RefactoringTom Mens, Tom Tourwé. TSE, 30(2):126-139, 2004. [doi] [classification] 5 years ago
A software maintenance surveyS. W. L. Yip, T. Lam. apsec 1994: 70-79 [doi] [classification] 5 years ago
Software evolution and maintenanceVáclav Rajlich. ICSE 2014: 133-144 [doi] [classification] 5 years ago
Test Generation Based on Symbolic SpecificationsLars Frantzen, Jan Tretmans, Tim A. C. Willemse. fates 2005: 1-15 [doi] [classification] 5 years ago
A Symbolic Framework for Model-Based TestingLars Frantzen, Jan Tretmans, Tim A. C. Willemse. fates 2006: 40-54 [doi] [classification] 5 years ago
Software EvolutionTom Mens, Serge Demeyer, editors, Springer, 2008. [doi] [classification] 5 years ago
Specifying C++ conceptsGabriel Dos Reis, Bjarne Stroustrup. POPL 2006: 295-308 [doi] [classification] 5 years ago
A formalism for C++Gabriel Dos Reis, Bjarne Stroustrup. Technical Report N1885=05-0145, 2005. [classification] 5 years ago
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic SemanticsCasper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser. ECOOP 2016: [doi] [classification] 5 years ago
Hygienic Macro ExpansionEugene E. Kohlbecker, Daniel P. Friedman, Matthias Felleisen, Bruce F. Duba. lfp 1986: 151-161 [doi] [classification] 5 years ago
Binding as sets of scopesMatthew Flatt. POPL 2016: 705-717 [doi] [classification] 5 years ago
Unsafe Rust{The Rust Team}. 2019. [classification] 5 years ago
Visual Studio for C++2019. [classification] 5 years ago
Eclipse CDT2019. [classification] 5 years ago
ReSharperJetBrains. 2019. [classification] 5 years ago
ReSharper: Structural Search and ReplaceJetBrains. 2019. [classification] 5 years ago
Generalized Type-Based Disambiguation of Meta Programs with Concrete Object SyntaxMartin Bravenboer, Rob Vermaas, Jurgen J. Vinju, Eelco Visser. GPCE 2005: 157-172 [doi] [classification] 5 years ago
Formal certification of a compiler back-end or: programming a compiler with a proof assistantXavier Leroy. POPL 2006: 42-54 [doi] [classification] 5 years ago
Formal Verification of a C Compiler Front-EndSandrine Blazy, Zaynah Dargaye, Xavier Leroy. FM 2006: 460-475 [doi] [classification] 5 years ago
EASY Meta-Programming with Rascal. Leveraging the Extract-Analyze-SYnthesize Paradigm for Meta-ProgrammingPaul Klint, Tijs van der Storm, Jurgen J. Vinju. GTTSE 2009: [classification] 5 years ago
Concrete syntax for objects: domain-specific language embedding and assimilation without restrictionsMartin Bravenboer, Eelco Visser. OOPSLA 2004: 365-383 [doi] [classification] 5 years ago
Pitfalls in Applying Model Learning to Industrial Legacy SoftwareOmar al Duhaiby, Arjan J. Mooij, Hans van Wezep, Jan Friso Groote. ISoLA 2018: 121-138 [doi] [classification] 5 years ago
Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certificationMads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix. eceasst, 33, 2010. [doi] [classification] 5 years ago
Capture-Avoiding and Hygienic Program TransformationsSebastian Erdweg, Tijs van der Storm, Yi Dai. ECOOP 2014: 489-514 [doi] [classification] 5 years ago
Philips Healthcare - C++ Coding StandardPhilips. Philips, May 2019. [doi] [classification] 5 years ago
PIE: A Domain-Specific Language for Interactive Software Development PipelinesGabriël Konat, Michael J. Steindorfer, Sebastian Erdweg, Eelco Visser. Programming, 2(3):9, 2018. [doi] [classification] 5 years ago
Scalable incremental building with dynamic task dependenciesGabriël Konat, Sebastian Erdweg, Eelco Visser. ASE 2018: 76-86 [doi] [classification] 5 years ago
Clang 9 documentationThe Clang Team, The Clang Team, The Clang Team. 2019. [doi] [classification] 5 years ago
Specification and verification of concurrent systems in CESARJean-Pierre Queille, Joseph Sifakis. programm 1982: 337-351 [classification] 5 years ago
FlowSpec: declarative dataflow analysis specificationJeff Smits, Eelco Visser. SLE 2017: 221-231 [doi] [classification] 5 years ago
Scalable, example-based refactorings with refasterLouis Wasserman. OOPSLA 2013: 25-28 [doi] [classification] 5 years ago
Clang’s refactoring engine The Clang Team. The Clang Team, 2019. [doi] [classification] 5 years ago
Clang’s refactoring engineThe Clang Team. 2019. [classification] 5 years ago
ClangFormatThe Clang Team, 2019. [doi] [classification] 5 years ago
Declarative Specification of Template-Based Textual EditorsTobi Vollebregt. Master's thesis, Delft University of Technology, Delft, The Netherlands, April 2012. [doi] [classification] 5 years ago
Declarative specification of template-based textual editorsTobi Vollebregt, Lennart C. L. Kats, Eelco Visser. LDTA 2012: 1-7 [doi] [classification] 5 years ago
A language generic solution for name binding preservation in refactoringsMaartje de Jonge, Eelco Visser. LDTA 2012: 2 [doi] [classification] 5 years ago
PhASAR: An Inter-procedural Static Analysis Framework for C/C++Philipp Dominik Schubert, Ben Hermann, Eric Bodden. TACAS 2019: 393-410 [doi] [classification] 5 years ago
JTorX: A Tool for On-Line Model-Driven Test Derivation and ExecutionAxel Belinfante. TACAS 2010: 266-270 [doi] [classification] 5 years ago
Minimization of Large State Spaces using Symbolic Branching BisimulationRalf Wimmer, Marc Herbstritt, Bernd Becker. ddecs 2006: 9-14 [classification] 5 years ago
LTSmin: High-Performance Language-Independent Model CheckingGijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk. TACAS 2015: 692-707 [doi] [classification] 5 years ago
Multi-core symbolic bisimulation minimisationTom van Dijk, Jaco van de Pol. STTT, 20(2):157-177, 2018. [doi] [classification] 5 years ago
Symbolic Bisimulation MinimisationAmar Bouali, Robert de Simone. cav 1993: 96-108 [classification] 5 years ago
Sigref- A Symbolic Bisimulation Tool BoxRalf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker. ATVA 2006: 477-492 [doi] [classification] 5 years ago
Correct and Efficient Antichain Algorithms for Refinement CheckingMaurice Laveaux, Jan Friso Groote, Tim A.C. Willemse. In Proc. of FORTE 2019. 2019: [classification] 5 years ago
FDR3 - A Modern Refinement Checker for CSPThomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe. TACAS 2014: 187-201 [doi] [classification] 5 years ago
The Theory and Practice of ConcurrencyRoscoe, A. W.. Prentice Hall PTR, Upper Saddle River, NJ, USA, 1997. [classification] 5 years ago
Branching Time and Abstraction in Bisimulation SemanticsRob J. van Glabbeek, W. P. Weijland. JACM, 43(3):555-600, 1996. [doi] [classification] 5 years ago
Communication and concurrencyRobin Milner. PHI Series in computer science, Prentice Hall, 1989. [classification] 5 years ago
The Linear Time - Branching Time Spectrum IIRob J. van Glabbeek. concur 1993: 66-81 [classification] 5 years ago
The Linear Time-Branching Time Spectrum (Extended Abstract)Rob J. van Glabbeek. concur 1990: 278-297 [classification] 5 years ago
An Implementation of an Efficient Algorithm for Bisimulation EquivalenceJean-Claude Fernandez. SCP, 13(1):219-236, 1989. [classification] 5 years ago
Concurrency and Automata on Infinite SequencesDavid Michael Ritchie Park. tcs 1981: 167-183 [classification] 5 years ago
Source transformation, analysis and generation in TXLJames R. Cordy. PEPM 2006: 1-11 [doi] [classification] 5 years ago
Object-Oriented Reengineering PatternsSerge Demeyer, Stéphane Ducasse, Oscar Nierstrasz. dpunkt, 2002. [classification] 5 years ago
Extreme Programming Explained: Embrace ChangeBeck, Kent. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2000. [classification] 5 years ago
ESBMC 5.0: an industrial-strength C model checkerMikhail Y. R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer 0002, Denis A. Nicole. ASE 2018: 888-891 [doi] [classification] 5 years ago
F-Soft: Software Verification PlatformFranjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar. cav 2005: 301-306 [doi] [classification] 5 years ago
A Tool for Checking ANSI-C ProgramsEdmund M. Clarke, Daniel Kroening, Flavio Lerda. TACAS 2004: 168-176 [doi] [classification] 5 years ago
A Refactoring Tool for SmalltalkDon Roberts, John Brant, Ralph E. Johnson. tapos, 3(4):253-263, 1997. [classification] 5 years ago
NuSMV 2: An OpenSource Tool for Symbolic Model CheckingAlessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella. cav 2002: 359-364 [doi] [classification] 5 years ago
The SPIN Model Checker - primer and reference manualGerard J. Holzmann. Addison-Wesley, 2004. [classification] 5 years ago
CADP 2011: a toolbox for the construction and analysis of distributed processesHubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe. STTT, 15(2):89-107, 2013. [doi] [classification] 5 years ago
Graph-Based Algorithms for Boolean Function ManipulationRandal E. Bryant. TC, 35(8):677-691, 1986. [classification] 5 years ago
Symbolic Model Checking: 10^20 States and BeyondJerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill, L. J. Hwang. iandc, 98(2):142-170, June 1992. [classification] 5 years ago
Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion ProblemPatrice Godefroid. Volume 1032 of Lecture Notes in Computer Science, Springer, 1996. [classification] 5 years ago
All from One, One for All: on Model Checking Using RepresentativesDoron Peled. cav 1993: 409-423 [classification] 5 years ago
Stubborn sets for reduced state space generationAntti Valmari. apn 1991: 491-515 [classification] 5 years ago
Confluence for Process VerificationJan Friso Groote, M. P. A. Sellink. TCS, 170(1-2):47-81, 1996. [doi] [classification] 5 years ago
State Space Reduction Using Partial tau-ConfluenceJan Friso Groote, Jaco van de Pol. mfcs 2000: 383-393 [doi] [classification] 5 years ago
Symmetry and Model CheckingE. Allen Emerson, A. Prasad Sistla. fmsd, 9(1/2):105-131, 1996. [classification] 5 years ago
Exploiting Symmetry in Temporal Logic Model CheckingEdmund M. Clarke, Somesh Jha, Reinhard Enders, Thomas Filkorn. fmsd, 9(1/2):77-104, 1996. [classification] 5 years ago
Better Verification Through SymmetryC. Norris Ip, David L. Dill. fmsd, 9(1/2):41-75, 1996. [classification] 5 years ago
Model Checking and AbstractionEdmund M. Clarke, Orna Grumberg, David E. Long. TOPLAS, 16(5):1512-1542, 1994. [doi] [classification] 5 years ago
LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IRFlorian Merz, Stephan Falke, Carsten Sinz. vstte 2012: 146-161 [doi] [classification] 5 years ago