1 |
M. Utting and B. Legeard, Practical Model-Based Testing: A Tools Approach, Morgan Kaufmann, 2007.
|
2 |
P.V.R. Murthy, P.C. Anitha, M. Mahesh, and R. Subramanyan, “ Test ready UML statechart models,” Proceedings of the 2006 international workshop on scenarios and state machines: models, algorithms, and tools, SCESM '06, May, 2006, pp.75-81.
DOI
|
3 |
P. Ng and R.Y.K. Fung, “Applying Formal Concept Analysis in Requirements Validation with UML State Machine Model,” International Journal of Computer & Information Science, Vol. 8, No. 4, December 2007, pp.550-559.
|
4 |
P. Ng and R.Y.K. Fung, “Model-Based Test Suite Reduction with Concept Lattice,” Proceedings of Advanced Software Engineering and Its Applications, ASEA 2008, Dec., 2008, pp.3-8.
|
5 |
J. Offutt, S. Liu, A. Abdurazik, and P. Ammann, “Generating Test Data from State-based Specifications,” Software Testing, Verification and Reliability, Vol.13, Iss. 1, 2003, pp.25-53.
DOI
ScienceOn
|
6 |
G. Rothermel, R. Untch, C. Chu, and M.J. Harrold, “ Prioritizing Test Cases for Regression Testing,” IEEE Transactions of Software Engineering, Vol. 27, No. 10, Oct., 2001, pp.929-948.
DOI
ScienceOn
|
7 |
S. Sampath, V. Mihaylov, A. Souter, and L. Pollock, “A Scalable Approach to User-Session based Testing of Web Applications through Concept Analysis,” Proceedings of 19th International Conference on Automated Software Engineering, ASE '04, Linz, Austria, 2004, pp.132-141.
DOI
|
8 |
S. Tallam and N. Gupta, “A concept analysis inspired greedy algorithm for test suite minimization,” The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, PASTE '05, 2005, pp.35-42.
DOI
|
9 |
T. Tilley, R. Cole, P. Becker, and P. Eklund, “A Survey of Formal Concept Analysis Support for Software Engineering Activities,” Formal Concept Analysis, LNAI 3626, B. Ganter et al. (Eds.), Springer-Verlag Berlin Heidelberg, 2005, pp.250-271.
DOI
ScienceOn
|
10 |
R. V. Binder, Testing Object-Oriented Systems-Models, Patterns, and Tools, Object Technology. Addison-Wesley, 2000.
|
11 |
B. Broekman and E. Notenboom, Testing Embedded Software, Addison-Wesley, 2003.
|
12 |
C. Carpineto and G. Romano, Concept Data Analysis: Theory and Applications, Wiley, 2004.
|
13 |
T.Y. Chen and M.F. Lau, “A New Heuristic for Test Suite Reduction,” Information and Software Technology, 40, 1998, pp.347-354.
DOI
ScienceOn
|
14 |
T.H. Cormen, C.E. Leiserson, R.L. Rivest, and C. Stein, Introduction to Algorithms, MIT Press, Second Edition, 2001.
|
15 |
B. Ganter and R. Wille, Formal Concept Analysis: Mathematical Foundations, Springer-Verlag, 1999.
|
16 |
R. Godin, R. Missaoui, and H. Alaoui, “Incremental Concept Formation Algorithms Based on Galois (Concept) Lattices,” Computational Intelligence, 11(2), 1995, pp.246-267.
DOI
ScienceOn
|