declarative type system tester (researchr/bibliography/publications)

researchr

You are not signed in
Sign in
Sign up

Formal verification of a realistic compilerXavier Leroy. CACM, 52(7):107-115, 2009. [doi] [classification] 10 years ago

Simplifying failure-inducing inputRalf Hildebrandt, Andreas Zeller. ISSTA 2000: 135-145 [doi] [classification] 10 years ago

TGGS: A Flexible System for Generating Efficient Test Case GeneratorsGuilmette, Ronald F. , 1995. [classification] 11 years ago

The Spoofax language workbench: rules for declarative specification of languages and IDEsLennart C. L. Kats, Eelco Visser. OOPSLA 2010: 444-463 [doi] [classification] 11 years ago

Program Transformation with Scoped Dynamic Rewrite RulesMartin Bravenboer, Arthur van Dam, Karina Olmos, Eelco Visser. FUIN, 69(1-2):123-178, 2006. [doi] [classification] 11 years ago

Code Generation by Model TransformationZef Hemel, Lennart C. L. Kats, Eelco Visser. ICMT 2008: 183-198 [doi] [classification] 11 years ago

WebDSL: A Case Study in Domain-Specific Language EngineeringEelco Visser. GTTSE 2007: 291-373 [doi] [classification] 11 years ago

Little languages: little maintenance?Arie van Deursen, Paul Klint. SMR, 10(2):75-92, 1998. [doi] [classification] 11 years ago

Pure and declarative syntax definition: paradise lost and regainedLennart C. L. Kats, Eelco Visser, Guido Wachsmuth. OOPSLA 2010: 918-932 [doi] [classification] 11 years ago

Test case characterisation by regular path expressionsRalf Lämmel, Jörg Harm. In Proc.\ Formal Approaches to Testing of Software (FATES'01). 2001: 109-124 [doi] [classification] 11 years ago

Semantic Mutation TestingJohn A. Clark, Haitao Dan, Robert M. Hierons. icst 2010: 100-109 [doi] [classification] 11 years ago

HDD: hierarchical Delta DebuggingGhassan Misherghi, Zhendong Su. ICSE 2006: 142-151 [doi] [classification] 11 years ago

Test-case reduction for C compiler bugsJohn Regehr, Chen, Yang, Cuoq, Pascal, Eide, Eric, Ellison, Chucky, Yang, Xuejun. SIGPLAN, 47(6):335-346, jun 2012. [doi] [classification] 11 years ago

When and how to develop domain-specific languagesMarjan Mernik, Jan Heering, Anthony M. Sloane. ACM Comput. Surv., 37(4):316-344, 2005. [doi] [classification] 11 years ago

On Testing Non-Testable ProgramsElaine J. Weyuker. cj, 25(4):465-470, 1982. [classification] 11 years ago

Grammar-based test generation with YouGenDaniel Hoffman, David Ly-Gagnon, Paul A. Strooper, Hong-Yi Wang. SPE, 41(4):427-447, 2011. [doi] [classification] 11 years ago

Automated testing of refactoring enginesBrett Daniel, Danny Dig, Kely Garcia, Darko Marinov. ESEC/FSE 2007: 185-194 [doi] [classification] 11 years ago

Automating software tests with partial oracles in integrated environmentsRené Just, Franz Schweiggert. In Proceedings of the 5th Workshop on Automation of Software Test. 2010: 91-94 [doi] [classification] 11 years ago

Combined static and dynamic automated test generationSai Zhang, David Saff, Yingyi Bu, Michael D. Ernst. ISSTA 2011: 353-363 [doi] [classification] 11 years ago

Generating Test Data with Enhanced Context-Free GrammarsPeter M. Maurer. IEEE Software, 7(4):50-55, 1990. [doi] [classification] 11 years ago

Differential Testing for SoftwareWilliam M. McKeeman. dtj, 10(1):100-107, 1998. [doi] [classification] 11 years ago

Using production grammars in software testingEmin Gün Sirer, Brian N. Bershad. DSL 1999: 1-13 [doi] [classification] 11 years ago

Declarative Name Binding and Scope RulesGabriël Konat, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser. SLE 2012: 311-331 [doi] [classification] 11 years ago

A practical guide for using statistical tests to assess randomized algorithms in software engineeringAndrea Arcuri, Lionel C. Briand. ICSE 2011: 1-10 [doi] [classification] 11 years ago

A sentence generator for testing parsersPurdom, Paul. BIT Numerical Mathematics, 12:366-375, 1972. [doi] [classification] 11 years ago

Testing an optimising compiler by generating random lambda termsMichal H. Palka, Koen Claessen, Russo, Alejandro, John Hughes. In Proceedings of the 6th International Workshop on Automation of Software Test. 2011: 91-97 [doi] [classification] 11 years ago

Using Attributed Grammars to Test Designs and ImplementationsA. G. Duncan, J. S. Hutchison. ICSE 1981: 170-178 [doi] [classification] 11 years ago

Automatic Generation of Test CasesKenneth V. Hanford. IBMSJ, 9(4):242-257, 1970. [doi] [classification] 11 years ago

Grammar-based whitebox fuzzingPatrice Godefroid, Adam Kiezun, Michael Y. Levin. PLDI 2008: 206-215 [doi] [classification] 12 years ago

Volatiles are miscompiled, and what to do about itEric Eide, John Regehr. emsoft 2008: 255-264 [doi] [classification] 12 years ago

QuickCheck: a lightweight tool for random testing of Haskell programsKoen Claessen, John Hughes. ICFP 2000: 268-279 [doi] [classification] 12 years ago

Finding and understanding bugs in C compilersXuejun Yang, Yang Chen, Eric Eide, John Regehr. PLDI 2011: 283-294 [doi] [classification] 12 years ago

Random testing for higher-order, stateful programsCasey Klein, Matthew Flatt, Robby Findler. OOPSLA 2010: 555-566 [doi] [classification] 12 years ago

Grammar TestingRalf Lämmel. FASE 2001: 201-216 [doi] [classification] 12 years ago

Grammatical evolutionMichael O Neill, Conor Ryan. tec, 5(4):349-358, 2001. [doi] [classification] 12 years ago

Attribute Grammar EvolutionMarina de la Cruz, Alfonso Ortega de la Puente, Manuel Alfonseca. iwinac 2005: 182-191 [doi] [classification] 12 years ago

Program Checkers for Probability GenerationSampath Kannan, Andrew Chi-Chih Yao. icalp 1991: 163-173 [classification] 12 years ago

Software Testing with QuickCheckJohn Hughes. cefp 2010: 183-223 [doi] [classification] 12 years ago

Directed random generation of sentencesJoyce Friedman. CACM, 12(1):40-46, 1969. [doi] [classification] 12 years ago

The Vienna Definition LanguagePeter Wegner. ACM Comput. Surv., 4(1):5-63, 1972. [doi] [classification] 12 years ago

An Approach to Symbolic Test GenerationVlad Rusu, Lydie du Bousquet, Thierry Jéron. IFM 2000: 338-357 [doi] [classification] 12 years ago

Randomized Testing in PLT RedexCasey Klein, Robby Findler. In Workshop on Scheme and Functional Programming (SFP). 2009: [classification] 12 years ago

Controllable Combinatorial Coverage in Grammar-Based TestingRalf Lämmel, Wolfram Schulte. pts 2006: 19-38 [doi] [classification] 12 years ago

An Introduction to Grammar ConvergenceRalf Lämmel, Vadim Zaytsev. IFM 2009: 246-260 [doi] [classification] 12 years ago

Finding and understanding bugs in C compilersXuejun Yang, Yang Chen, Eric Eide, John Regehr. PLDI 2011: 283-294 [doi] [classification] 12 years ago

Download

Maintained by

All Publications

Filter by Year

[+]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Recently Added

Recently Removed

New Entries

Filter by Importance

Filter by Marked as read

Researchr

Bibliography: declarative type system tester

Recently Added

Download

Maintained by

All Publications

Filter by Year [+]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Recently Added

Recently Removed

New Entries

Filter by Importance

Filter by Marked as read

Researchr

Bibliography: declarative type system tester

Recently Added

Filter by Year

[+]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1