592 search results - page 100 / 119 » Static analysis of XML processing with data values |
CIBCB
2006
IEEE
14 years 1 months ago
2006
IEEE
— Computational prediction of transcription factor’s binding sites and regulatory target genes has great value to the biological studies of cellular process. Existing practices...
SIGMOD
2012
ACM
11 years 10 months ago
2012
ACM
In this demo, we will present Tiresias, the first how-to query engine. How-to queries represent fundamental data analysis questions of the form: “How should the input change in...
ICSEA
2007
IEEE
14 years 1 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
JMM2
2008
13 years 7 months ago
2008
As computer and database technologies advance rapidly, biologists all over the world can share biologically meaningful data from images of specimens and use the data to classify th...
SIGSOFT
2004
ACM
14 years 8 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...