| 1 |
Variability-aware parsing in the presence of lexical macros and conditional compilation
|
|
|
|
In: http://www.informatik.uni-marburg.de/%7Ekaestner/oopsla11_typechef.pdf (2011)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Variability-aware parsing in the presence of lexical macros and conditional compilation
|
|
|
|
In: http://www.cs.cmu.edu/~ckaestne/pdf/oopsla11_typechef.pdf (2011)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Why Smalltalk wins the host languages shootout
|
|
|
|
In: http://scg.unibe.ch/archive/papers/Reng09bLanguageShootout.pdf (2009)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Parsing and translation of expressions by genetic programming
|
|
|
|
In: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1681.pdf (2005)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Refactoring via database representation
|
|
|
|
In: http://aszt.inf.elte.hu/~fun_ver/2004/papers/icai2004_paper_divip.pdf (2004)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
M.P.: Flexible protocol specification and execution: Applying event calculus planning using commitments
|
|
|
|
In: http://www.cmpe.boun.edu.tr/courses/cmpe593/spring2006/reading/p273-yolum.pdf (2002)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Nomadic Radio: Speech Audio Interaction for Contextual Messaging in Nomadic Environments
|
|
|
|
In: http://www.media.mit.edu/~nitin/NomadicRadio/tochi/tochi2000.ps (2000)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Nomadic Radio: Speech Audio Interaction for Contextual Messaging in Nomadic Environments
|
|
|
|
In: http://www.media.mit.edu/~nitin/projects/NomadicRadio/tochi/tochi99.ps (2000)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Toward Formalizing Structured Analysis
|
|
|
|
In: http://home.deib.polimi.it/baresi/papers/TOSEM.pdf (1998)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
A Graphical Environment for the Design of Concurrent Real-Time Systems
|
|
|
|
In: http://lsi.ugr.es/~mcapel/docencia/doctorado/seguro/TL_artl/moserRamaKuttyMelliarDillon97.pdf (1997)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
A practical method for LR and LL syntactic error diagnosis and recovery
|
|
|
|
In: http://www.cs.berkeley.edu/~jcondit/pl-prelim/burke87practical.pdf (1987)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Published, produced and distributed by:
|
|
|
|
In: http://www.lclnet.nl/publications/natural-and-flexible-error-recovery.pdf
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Analysis and Visualization of Temporal Changes in Bloggers ’ Activities and Interests
|
|
|
|
In: http://www.tkl.iis.u-tokyo.ac.jp/top/modules/newdb/extract/1152/data/PVis2012_MasahikoITOH_r05.pdf
|
|
BASE
|
|
Show details
|
|
|
| 14 |
Evolution as a Noun and Evolution as a Verb
|
|
|
|
In: http://www-dse.doc.ic.ac.uk/~mml/feast/papers/pdf/654.pdf
|
|
BASE
|
|
Show details
|
|
|
| 15 |
ABSTRACT Towards Supporting On-Demand Virtual Remodularization Using Program Graphs
|
|
|
|
In: http://www.cis.udel.edu/~shepherd/shepherdAosd2006.pdf
|
|
BASE
|
|
Show details
|
|
|
| 16 |
The Use of Application Domain Knowledge (and Other Techniques) for Facilitating Requirements Capture
|
|
|
|
In: http://www.soi.city.ac.uk/homes/till/wp31.ps
|
|
BASE
|
|
Show details
|
|
|
| 17 |
Finding Common Ground: Choose, Assert, and Assume
|
|
|
|
In: http://cs.oregonstate.edu/%7Eerwig/papers/ChooseAssertAssume_WODA12.pdf
|
|
Abstract:
At present, the “testing community ” is on good speaking terms, but typically lacks a common language for expressing some computational ideas, even in cases where such a language would be both useful and plausible. In particular, a large body of testing systems define a testing problem in the language of the system under test, extended with operations for choosing inputs, asserting properties, and constraining the domain of executions considered. While the underlying algorithms used for “testing ” include symbolic execution, explicit-state model checking, machine learning, and“old fashioned”random testing, there seems to be a common core of expressive need. We propose that the dynamic analysis community could benefit from working with some common syntactic (and to some extent semantic) mechanisms for expressing a body of testing problems. Such a shared language would have immediate practical uses and make cross-tool comparisons and research into identifying appropriate tools for different testing activities easier. We also suspect that considering the more abstract testing problem arising from this minimalist common ground could serve as a basis for thinking about the design of usable embedded domain-specific languages for testing and might help identify computational patterns that have escaped the notice of the community.
|
|
Keyword:
Categories and Subject Descriptors D.2.5 [Software Engineering; domain specific; model checking; symbolic execution; Testing and Debugging— Testing tools General Terms Languages; Verification Keywords Random testing
|
|
URL: http://cs.oregonstate.edu/%7Eerwig/papers/ChooseAssertAssume_WODA12.pdf
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.259.8503
|
|
BASE
|
|
Hide details
|
|
|
| 18 |
CORRESPONDING AUTHOR:
|
|
|
|
In: http://groups.inf.ed.ac.uk/switchboard/NXT-LREJ.pdf
|
|
BASE
|
|
Show details
|
|
|
| 19 |
A critical look at software tools in corpus linguistics * 1
|
|
|
|
In: http://www.antlab.sci.waseda.ac.jp/research/20130827_linguistic_research_paper/linguistic_research_paper_final.pdf
|
|
BASE
|
|
Show details
|
|
|
| 20 |
9Tool for Testing Bad Student Programs
|
|
In: http://ceur-ws.org/Vol-1266/SQAMIA2014_Paper9.pdf
|
|
BASE
|
|
Show details
|
|
|
|
|
