1157 search results - page 27 / 232 » A Machine Learning Approach for Statistical Software Testing |
121
click to vote
KBSE
2010
IEEE
15 years 19 days ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
130
Voted
ICALT
2005
IEEE
15 years 7 months ago
2005
IEEE
Visualization techniques are commonly used in computer science, particularly for understanding the interactions intrinsic in the object-oriented paradigm. The visualization effect...
110
Voted
EMNLP
2010
15 years 6 days ago
2010
Production of parallel training corpora for the development of statistical machine translation (SMT) systems for resource-poor languages usually requires extensive manual effort. ...
114
click to vote
COLING
2008
15 years 3 months ago
2008
Bracketing Transduction Grammar (BTG) is a natural choice for effective integration of desired linguistic knowledge into statistical machine translation (SMT). In this paper, we p...
217
Voted
IASTEDSE
2004
15 years 3 months ago
2004
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...