Sciweavers

2000 search results - page 72 / 400
» The Dynamics of Syntactic Knowledge
Sort
View
PLDI
2010
ACM
15 years 10 months ago
Jinn: synthesizing dynamic bug detectors for foreign language interfaces
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Ro...
IJET
2008
197views more  IJET 2008»
15 years 5 months ago
TENTube: A Video-based Connection Tool Supporting Competence Development
The vast majority of knowledge management initiatives fail because they do not take sufficiently into account the emotional, psychological and social needs of individuals. Only if ...
Albert A. Angehrn, Katrina Diane Maxwell
ICSE
2003
IEEE-ACM
16 years 5 months ago
Improving Test Suites via Operational Abstraction
g Test Suites via Operational Abstraction Michael Harder Jeff Mellen Michael D. Ernst MIT Lab for Computer Science 200 Technology Square Cambridge, MA 02139 USA {mharder,jeffm,mern...
Michael Harder, Jeff Mellen, Michael D. Ernst
GI
2007
Springer
15 years 11 months ago
A Semantic Approach for Description and Ranked Matching of Services in Pervasive Environments
: With the recent developments in technology, new and diverse devices are being introduced into the pervasive world. This has raised new challenges for the discovery of devices and...
Ayomi Bandara, Terry R. Payne, David De Roure, Tim...
ESE
2006
95views Database» more  ESE 2006»
15 years 5 months ago
Input validation analysis and testing
This research addresses the problem of statically analyzing input command syntax as defined in interface and requirements specifications and then generating test cases for dynamic ...
Jane Huffman Hayes, Jeff Offutt