-
1
-
-
85027190248
-
The design and implementation of an intentional naming system
-
Kiawah Island, SC, December
-
th Int'l Conference on Verification, Model Checking and Abstract Interpretation, Kiawah Island, SC, December 1999.
-
(1999)
th Int'l Conference on Verification, Model Checking and Abstract Interpretation
-
-
Adjie-Winoto, W.1
Schwartz, E.2
Balakrishnan, H.3
Lilley, J.4
-
3
-
-
84976850194
-
The design and implementation of hierarchical software systems with reusable components
-
D. Batory and S. O'Malley. The design and implementation of hierarchical software systems with reusable components. Comm. of the ACM, 1(4):355-398, 1992.
-
(1992)
Comm. of the ACM
, vol.1
, Issue.4
, pp. 355-398
-
-
Batory, D.1
O'Malley, S.2
-
4
-
-
3042619799
-
Scaling step-wise refinement
-
D. Batory, J. N. Sarvela, and A. Rauschmayer. Scaling step-wise refinement. IEEE Transactions on Software Engineering, 30(6):355-371, June 2004.
-
(2004)
IEEE Transactions on Software Engineering
, vol.3
, Issue.6
, pp. 355-371
-
-
Batory, D.1
Sarvela, J.N.2
Rauschmayer, A.3
-
5
-
-
0037437627
-
Feature interaction: A critical review and considered forecast
-
DOI 10.1016/S1389-1286(02)00352-3, PII S1389128602003523
-
M. Calder, M. Kolberg, E. H. Magill, and S. Reiff- Marganiec. Feature interaction: a critical review and considered forecast. Computer Networks, 41(1):115-141, 2003. (Pubitemid 35460343)
-
(2003)
Computer Networks
, vol.41
, Issue.1
, pp. 115-141
-
-
Calder, M.1
Kolberg, M.2
Magill, E.H.3
Reiff-Marganiec, S.4
-
8
-
-
0000673732
-
The AETG system: an approach to testing based on combinatorial design
-
D. M. Cohen, S. R. Dalal, M. L. Fredman, and G. C. Patton. The AETG system: An approach to testing based on combinatorial design. IEEE Transactions on Software Engineering, 23(7):437-444, 1997. (Pubitemid 127828305)
-
(1997)
IEEE Transactions on Software Engineering
, vol.23
, Issue.7
, pp. 437-444
-
-
Cohen, D.M.1
Dalal, S.R.2
Fredman, M.L.3
Patton, G.C.4
-
15
-
-
11344267975
-
-
PhD thesis, Dept. of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, December
-
S. Khurshid. Generating Structurally Complex Tests from Declarative Constraints. PhD thesis, Dept. of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, December 2003.
-
(2003)
Generating Structurally Complex Tests from Declarative Constraints
-
-
Khurshid, S.1
-
21
-
-
22944482001
-
Software assurance by bounded exhaustive testing
-
K. Sullivan, J. Yang, D. Coppit, S. Khurshid, and D. Jackson. Software assurance by bounded exhaustive testing. In Proc. of the Int'l Symposium on Software Testing and Analysis, 2004.
-
(2004)
Proc. of the Int'l Symposium on Software Testing and Analysis
-
-
Sullivan, K.1
Yang, J.2
Coppit, D.3
Khurshid, S.4
Jackson, D.5
-
23
-
-
34548759076
-
Feature oriented model driven development: A case study for portlets
-
Minneapolis, MN, May
-
S. Trujillo, D. Batory, and O. Diaz. Feature oriented model driven development: A case study for portlets. In Proc. of the 29th Int'l Conference on Software Engineering, Minneapolis, MN, May 2007.
-
(2007)
Proc. of the 29th Int'l Conference on Software Engineering
-
-
Trujillo, S.1
Batory, D.2
Diaz, O.3
-
24
-
-
57149123634
-
A specification-based approach to testing software product lines
-
Croatia, September
-
E. Uzuncaova, D. Garcia, S. Khurshid, and D. Batory. A specification-based approach to testing software product lines. In Proc. of the 15th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Croatia, September 2007. Poster Paper.
-
(2007)
Proc. of the 15th ACM SIGSOFT Symposium on the Foundations of Software Engineering
-
-
Uzuncaova, E.1
Garcia, D.2
Khurshid, S.3
Batory, D.4
-
25
-
-
78751509521
-
Constraint prioritization for efficient analysis of declarative models
-
Turku, Finland, May
-
E. Uzuncaova and S. Khurshid. Constraint prioritization for efficient analysis of declarative models. In Proc. of the 15th Int'l Symposium on Formal Methods, Turku, Finland, May 2008.
-
(2008)
th Int'l Symposium on Formal Methods
-
-
Uzuncaova, E.1
Khurshid, S.2
-
26
-
-
26444555562
-
-
PhD thesis, Computer Science and Artificial Intelligence Lab, MIT
-
M. Vaziri. Finding Bugs Using a Constraint Solver. PhD thesis, Computer Science and Artificial Intelligence Lab, MIT, 2003.
-
(2003)
Finding Bugs Using a Constraint Solver
-
-
Vaziri, M.1
|