SENSORIA All Publications |
|
Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
Towards Testing the Implementation of Graph Transformations @INPROCEEDINGS{Darabos-Pataricza-Varro-GV-VMT06, title = {{Towards Testing the Implementation of Graph Transformations}}, author = {{Andrea} {Darabos} and {Andr\'as} {Pataricza} and {D\'aniel} {Varr\'o}}, booktitle = {Proc. of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques}, editor = {Roberto Bruni and Daniel Varro}, abstract = {We present a method for testing the implementation of graph transformation specifications focusing on test case generation for graph pattern matching. We propose an extensible fault model for the implementation of transformations based on common programmer faults and the technicalities of graph transformations. We integrate traditional hardware testing (combinational circuits) and software testing techniques (mutant generation) for generating test cases.}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, year = {2006}, partner = {BUTE}, status = {public}, task = {T3.2}, }
|