Scalable satisfiability checking and test data generation from modeling diagrams

Automated Software Engineering

Volumn 16, Issue 1, 2009, Pages 73-99

  Smaragdakis, Yannis ^a   Csallner, Christoph ^b   Subramanian, Ranjith ^c  

^a University of Massachusetts Amherst   (United States)

^b University of Texas at Arlington   (United States)

^c Findcom   (United States)

Author keywords

Databases; Modeling; NP hardness; ORM; ORM ; Test data generation; Testing

Indexed keywords

DATA COMMUNICATION SYSTEMS; HARDNESS; HARDNESS TESTING; LINGUISTICS; POLYNOMIAL APPROXIMATION; TEST FACILITIES;

DATABASES; MODELING; NP-HARDNESS; ORM; TEST DATA GENERATION;

TESTING;

EID: 60349086827     PISSN: 09288910     EISSN: 15737535     Source Type: Journal    
DOI: 10.1007/s10515-008-0044-6     Document Type: Conference Paper

References (30)

1. Aloul, F.A., Ramani, A., Markov, I.L., Sakallah, K.A.: PBS: A backtrack search pseudo-boolean solver and optimizer. In: Proc. 5th International Symposium on the Theory and Applications of Satisfiability Testing (SAT), pp. 346-353 (May 2002)
2. D. Berardi D. Calvanese G.D. Giacomo 2005 Reasoning on UML class diagrams Artif. Intell. 168 70 118
3. Calvanese, D., Lenzerini, M.: On the interaction between isa and cardinality constraints. In: Proc. 10th International Conference on Data Engineering (ICDE), pp. 204-213. IEEE, New York (1994)
4. Deng, Y., Frankl, P.G., Chays, D.: Testing database transactions with AGENDA. In: Proc. 27th International Conference on Software Engineering (ICSE), pp. 78-87. ACM, New Yrok (2005)
5. Egyed, A.: Instant consistency checking for the UML. In: Proc. 28th International Conference on Software Engineering (ICSE), pp. 381-390. ACM, New York (2006)
6. Egyed, A.: Fixing inconsistencies in UML design models. In: Proc. 29th International Conference on Software Engineering (ICSE), pp. 292-301. IEEE, New York (2007)
7. W. Fan L. Libkin 2002 On xml integrity constraints in the presence of dtds J. ACM 49 3 368 406
8. J. Grant J. Minker 1985 Inferences for numerical dependencies Theor. Comput. Sci. 41 2-3 271 287
9. Halpin, T.A.: A fact-oriented approach to schema transformation. In: Proc. 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems (MFDBS), pp. 342-356. Springer, New York (1991)
10. Halpin, T.A.: Object-role modeling (ORM/NIAM). In: Handbook on Architectures of Information Systems. Springer, New York (1998)
11. Halpin, T.A.: Information Modeling and Relational Databases. Morgan Kaufmann, Los Altos (2001)
12. Halpin, T.A., Proper, H.A.: Database schema transformation and optimization. In: Proc. 14th International Conference on Object-Oriented and Entity-Relationship Modelling (OOER), pp. 191-203. Springer, New York (1995)
13. Heynmans, S.: Decidable open answer set programming. PhD thesis, Vrije Universiteit Brussel, Department of Computer Science (Feb. 2006)
14. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)
15. Jarrar, M., Heymans, S.: Unsatisfiability reasoning in ORM conceptual schemes. In: Proc. International Conference on Semantics of a Networked World (ICSNW). Springer, New York (2005)
16. Kaneiwa, K., Satoh, K.: Consistency checking algorithms for restricted UML class diagrams. In: Proc. 4th International Symposium on the Foundations of Information and Knowledge Systems (FoIKS), pp. 219-239 (Feb. 2006)
17. Keet, C.M.: Prospects for and issues with mapping the object-role modeling language into DLRifd. In: Proc. 20th International Workshop on Description Logics, June 2007
18. Khurshid, S., Jackson, D.: Exploring the design of an intentional naming scheme with an automatic constraint analyzer. In: Proc. 15th IEEE International Conference on Automated Software Engineering (ASE), pp. 13-22. IEEE, New York (2000)
19. Lenzerini, M., Nobili, P.: On the satisfiability of dependency constraints in entity-relationship schemata. In: Proc. 13th International Conference on Very Large Data Bases (VLDB), pp. 147-154 (Sept. 1987)
20. Manolios, P., Subramanian, G., Vroon, D.: Automating component-based system assembly. In: Proc. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). ACM, New York (2007)
21. Maraee, A., Balaban, M.: Efficient reasoning about finite satisfiability of uml class diagrams with constrained generalization sets. In: Proc. 3rd European Conference on Model-Driven Architecture, 2007
22. Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: Proc. 25th International Conference on Software Engineering (ICSE), pp. 455-464. IEEE, New York (2003)
23. A. Neufeld G. Moerkotte P.C. Lockemann 1993 Generating consistent test data: Restricting the search space by a generator formula VLDB J. 2 173 213
24. Nijssen, G.M., Halpin, T.A.: Conceptual Schema and Relational Database Design: A Fact Oriented Approach. Prentice-Hall, Englewood Cliffs (1989)
25. Shlyakhter, I., Seater, R., Jackson, D., Sridharan, M., Taghdiri, M.: Debugging overconstrained declarative models using unsatisfiable cores. In: Proc. 18th IEEE International Conference on Automated Software Engineering (ASE), pp. 94-105. IEEE, New York (2003)
26. Smaragdakis, Y., Csallner, C., Subramanian, R.: Scalable automatic test data generation from modeling diagrams. In: Proc. 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 4-13. ACM, New York (2007)
27. Taghdiri, M.: Inferring specifications to detect errors in code. In: Proc. 19th IEEE International Conference on Automated Software Engineering (ASE), pp. 144-153. IEEE, New York (2004)
28. P. van Bommel A. ter Hofstede T. van der Weide 1991 Semantics and verification of object-role models Inf. Syst. 16 5 471 495
29. Warren, I., Sun, J., Krishnamohan, S., Weerasinghe, T.: An automated formal approach to managing dynamic reconfiguration. In: Proc. 21st IEEE International Conference on Automated Software Engineering (ASE), pp. 37-46. IEEE, New York (2006)
30. Willmor, D., Embury, S.M.: An intensional approach to the specification of test cases for database applications. In: Proc. 28th International Conference on Software Engineering (ICSE), pp. 102-111. ACM, New York (2006)