-
1
-
-
50649113875
-
Experiences with the UML/OCL-approach in practice and strategies to overcome deficiencies
-
T. Baar: Experiences with the UML/OCL-approach in practice and strategies to overcome deficiencies, In Proc. of Net.ObjectDays2000, Net.ObjectDays-Forum, 2000; pp. 192-201.
-
(2000)
Proc. of Net.ObjectDays2000, Net.ObjectDays-Forum
, pp. 192-201
-
-
Baar, T.1
-
2
-
-
0242276150
-
Modelling database views with derived classes in the UML/OCL-framework
-
Proc. of UML'03, Springer
-
H. Balsters: Modelling database views with derived classes in the UML/OCL-framework. In Proc. of UML'03, LNCS 2863. Springer, 2003, pp. 295-309.
-
(2003)
LNCS
, vol.2863
, pp. 295-309
-
-
Balsters, H.1
-
5
-
-
0242276154
-
Towards automated support for deriving test data from UML statecharts
-
Proc. of UML'03, Springer
-
L.C. Briand, J. Cui, and Y. Labiche: Towards automated support for deriving test data from UML statecharts. In Proc. of UML'03, LNCS 2863, Springer, 2003, pp. 249-264.
-
(2003)
LNCS
, vol.2863
, pp. 249-264
-
-
Briand, L.C.1
Cui, J.2
Labiche, Y.3
-
6
-
-
50649101013
-
Automatic test data generation for TTCN-3 using CTE
-
Z. R. Dai, P. H. Deussen, M. Busch, L. P. Lacmene, and T. Ngwangwen: Automatic test data generation for TTCN-3 using CTE. In Proc. of ICSSEA'05. CMSL, 2005.
-
(2005)
Proc. of ICSSEA'05. CMSL
-
-
Dai, Z.R.1
Deussen, P.H.2
Busch, M.3
Lacmene, L.P.4
Ngwangwen, T.5
-
7
-
-
50649086746
-
-
J. Edvardsson: A survey on automatic test data generation. In Proc. of 2nd Conf. on Computer Science and Engineering, ECSEL, October 1999, pp. 21-28.
-
J. Edvardsson: A survey on automatic test data generation. In Proc. of 2nd Conf. on Computer Science and Engineering, ECSEL, October 1999, pp. 21-28.
-
-
-
-
10
-
-
0011842221
-
Information technology - open systems interconnection - conformance testing methodology and framework, Part 1: General concepts
-
ISO/IEC 9646-1, International Standards Organization
-
ISO/IEC 9646-1. Information technology - open systems interconnection - conformance testing methodology and framework, Part 1: General concepts. International Standards Organization, 1994.
-
(1994)
-
-
-
11
-
-
16244406591
-
Boundary coverage criteria for test generation from formal models
-
IEEE Computer Society
-
N. Kosmatov, B. Legeard, F. Peureux, and M. Utting: Boundary coverage criteria for test generation from formal models. In Proc. of ISSRE'04, IEEE Computer Society, 2004, pp. 139-150.
-
(2004)
Proc. of ISSRE'04
, pp. 139-150
-
-
Kosmatov, N.1
Legeard, B.2
Peureux, F.3
Utting, M.4
-
12
-
-
50649097374
-
MODELling solution for comPLEX software systems. 6th Framework Programme EU Project
-
Modelplex: MODELling solution for comPLEX software systems. 6th Framework Programme EU Project. Reference: IST 34081 (IP). http://www.modelplex.org.
-
Reference
, vol.IST 34081
, Issue.IP
-
-
-
13
-
-
0038681903
-
Generating test data from state-based specifications
-
John Wiley & Sons, Ltd
-
J. Offutt; S. Liu, A. Abdurazik, and P. Ammann: Generating test data from state-based specifications. In Software Testing, Verification and Reliability 12(1). John Wiley & Sons, Ltd., 2003, pp. 25-53.
-
(2003)
Software Testing, Verification and Reliability
, vol.12
, Issue.1
, pp. 25-53
-
-
Offutt, J.1
Liu, S.2
Abdurazik, A.3
Ammann, P.4
-
16
-
-
50649117476
-
-
H. Plattner: Trends and Concepts in the Software Industry (part I). Lecture notes from Hasso Plattner Institute. Summer Term 2007. Webpage (visited January 18, 2008): http://epic.hpi.uni-potsdam.de/Home/TrendsAndConceptsI2007.
-
H. Plattner: Trends and Concepts in the Software Industry (part I). Lecture notes from Hasso Plattner Institute. Summer Term 2007. Webpage (visited January 18, 2008): http://epic.hpi.uni-potsdam.de/Home/TrendsAndConceptsI2007.
-
-
-
-
18
-
-
2542636322
-
Data Modelling versus Ontology Engineering
-
P. Spyns, R. Meersman, and M. Jarrar: Data Modelling versus Ontology Engineering. SIGMOD Record 31(4), 2002, pp. 12-17.
-
(2002)
SIGMOD Record
, vol.31
, Issue.4
, pp. 12-17
-
-
Spyns, P.1
Meersman, R.2
Jarrar, M.3
-
20
-
-
50649086499
-
-
M. Utting, A. Pretschner, and B. Legeard: A taxonomy of model-based testing. Technical Report 04/2006, Department of Computer Science, The University of Waikato (New Zeeland), 2006.
-
M. Utting, A. Pretschner, and B. Legeard: A taxonomy of model-based testing. Technical Report 04/2006, Department of Computer Science, The University of Waikato (New Zeeland), 2006.
-
-
-
-
21
-
-
0029306012
-
Software Testability: The New Verification
-
J. M. Voas, and K. W. Miller: Software Testability: The New Verification. In IEEE Software 12(3), 1995, pp. 17-28.
-
(1995)
In IEEE Software
, vol.12
, Issue.3
, pp. 17-28
-
-
Voas, J.M.1
Miller, K.W.2
-
22
-
-
0037448869
-
Enterprise resource planning: A taxonomy of critical factors
-
M. Al-Mashari, Abdullah Al-Mudimigh, and M. Zair. Enterprise resource planning: A taxonomy of critical factors. In European Journal of Operational Research 146 (2), 2003, pp. 352-364.
-
(2003)
In European Journal of Operational Research
, vol.146
, Issue.2
, pp. 352-364
-
-
Al-Mashari, M.1
Al-Mudimigh, A.2
Zair, M.3
|