-
2
-
-
84883680430
-
Speculative analysis: Exploring future states of software
-
Y. Brun, R. Holmes, M. D. Ernst, and D. Notkin. Speculative analysis: Exploring future states of software. In FoSER, 2010.
-
(2010)
FoSER
-
-
Brun, Y.1
Holmes, R.2
Ernst, M.D.3
Notkin, D.4
-
6
-
-
0003339413
-
Deriving production rules for incremental view maintenance
-
S. Ceri and J. Widom. Deriving production rules for incremental view maintenance. In VLDB, 1991.
-
(1991)
VLDB
-
-
Ceri, S.1
Widom, J.2
-
10
-
-
84883709804
-
Oakland unified makes $7.6M accounting error in budget; asking schools not to count on it
-
B. Grady. Oakland unified makes $7.6M accounting error in budget; asking schools not to count on it. Oakland Local, 2013.
-
(2013)
Oakland Local
-
-
Grady, B.1
-
11
-
-
84976783749
-
Incremental maintenance of views with duplicates
-
T. Griffin and L. Libkin. Incremental maintenance of views with duplicates. In SIGMOD, 1995.
-
(1995)
SIGMOD
-
-
Griffin, T.1
Libkin, L.2
-
12
-
-
84894556628
-
Quantitative data cleaning for large databases
-
J. Hellerstein. Quantitative data cleaning for large databases. UNECE, 2008.
-
(2008)
UNECE
-
-
Hellerstein, J.1
-
13
-
-
0022288421
-
Continuous execution: The VisiProg environment
-
P. Henderson and M. Weiser. Continuous execution: The VisiProg environment. In ICSE, 1985.
-
(1985)
ICSE
-
-
Henderson, P.1
Weiser, M.2
-
16
-
-
80053180245
-
Incremental re-execution of programs
-
R. R. Karinthi and M. Weiser. Incremental re-execution of programs. In SIIT, 1987.
-
(1987)
SIIT
-
-
Karinthi, R.R.1
Weiser, M.2
-
17
-
-
0014617701
-
Batch, conversational, and incremental compilers
-
H. Katzan, Jr. Batch, conversational, and incremental compilers. In AFIPS, 1969.
-
(1969)
AFIPS
-
-
Katzan Jr., H.1
-
18
-
-
84883729200
-
War games: Soviets, fearing western attack, prepared for worst in '83
-
B. Kennedy. War games: Soviets, fearing Western attack, prepared for worst in '83. CNN, 2010.
-
(2010)
CNN
-
-
Kennedy, B.1
-
19
-
-
79958707344
-
Systematic testing of database engines using a relational constraint solver
-
S. A. Khalek and S. Khurshid. Systematic testing of database engines using a relational constraint solver. In ICST, 2011.
-
(2011)
ICST
-
-
Khalek, S.A.1
Khurshid, S.2
-
20
-
-
84864068240
-
Targeted genetic test SQL generation for the DB2 database
-
D. Letarte, F. Gauthier, E. Merlo, N. Sutyanyong, and C. Zuzarte. Targeted genetic test SQL generation for the DB2 database. In DBTest, 2012.
-
(2012)
DBTest
-
-
Letarte, D.1
Gauthier, F.2
Merlo, E.3
Sutyanyong, N.4
Zuzarte, C.5
-
22
-
-
67650736074
-
TestEra: A novel framework for automated testing of java programs
-
D. Marinov and S. Khurshid. TestEra: A novel framework for automated testing of Java programs. In ICASE, page 22, 2001.
-
(2001)
ICASE
, pp. 22
-
-
Marinov, D.1
Khurshid, S.2
-
23
-
-
84859199712
-
The complexity of causality and responsibility for query answers and non-answers
-
A. Meliou, W. Gatterbauer, K. F. Moore, and D. Suciu. The Complexity of Causality and Responsibility for Query Answers and non-Answers. PVLDB, 4(1):34-45, 2010.
-
(2010)
PVLDB
, vol.4
, Issue.1
, pp. 34-45
-
-
Meliou, A.1
Gatterbauer, W.2
Moore, K.F.3
Suciu, D.4
-
25
-
-
84869790493
-
Speculative analysis of integrated development environment recommendations
-
K. Muşlu, Y. Brun, R. Holmes, M. D. Ernst, and D. Notkin. Speculative Analysis of Integrated Development Environment Recommendations. In OOPSLA, 2012.
-
(2012)
OOPSLA
-
-
Muşlu, K.1
Brun, Y.2
Holmes, R.3
Ernst, M.D.4
Notkin, D.5
-
26
-
-
79960160121
-
Database state generation via dynamic symbolic execution for coverage criteria
-
K. Pan, X. Wu, and T. Xie. Database state generation via dynamic symbolic execution for coverage criteria. In DBTest, 2011.
-
(2011)
DBTest
-
-
Pan, K.1
Wu, X.2
Xie, T.3
-
28
-
-
84867307318
-
Data entry is a top cause of medication errors
-
A. Robeznieks. Data entry is a top cause of medication errors. American Medical News, 2005.
-
(2005)
American Medical News
-
-
Robeznieks, A.1
-
29
-
-
23744460210
-
An experimental evaluation of continuous testing during development
-
D. Saff and M. D. Ernst. An experimental evaluation of continuous testing during development. In ISSTA, 2004.
-
(2004)
ISSTA
-
-
Saff, D.1
Ernst, M.D.2
-
31
-
-
84883698713
-
Errors in building and using electronic tables: Financial consequences and minimisation techniques
-
M. Sakal and L. Raković. Errors in building and using electronic tables: Financial consequences and minimisation techniques. Strategic Management, 17(3):29-35, 2012.
-
(2012)
Strategic Management
, vol.17
, Issue.3
, pp. 29-35
-
-
Sakal, M.1
Raković, L.2
-
32
-
-
84883703805
-
Controlling the information flow in spreadsheets
-
abs/0803.2527
-
V. Samar and S. Patni. Controlling the information flow in spreadsheets. CoRR, abs/0803.2527, 2008.
-
(2008)
CoRR
-
-
Samar, V.1
Patni, S.2
-
33
-
-
35448968694
-
DITTO: Automatic incrementalization of data structure invariant checks (in java)
-
A. Shankar and R. Bodík. DITTO: Automatic incrementalization of data structure invariant checks (in Java). In PLDI, 2007.
-
(2007)
PLDI
-
-
Shankar, A.1
Bodík, R.2
-
35
-
-
84883673341
-
Mars climate orbiter mishap investigation board: Phase I report
-
A. G. Stephenson et al. Mars Climate Orbiter Mishap Investigation Board: Phase I Report. JPL, 1999.
-
(1999)
JPL
-
-
Stephenson, A.G.1
-
38
-
-
84883702416
-
Data entry error wipes out life insurance coverage
-
J. Yates. Data entry error wipes out life insurance coverage. Chicago Tribune, 2005.
-
(2005)
Chicago Tribune
-
-
Yates, J.1
|