Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  describes a tool for symbolically animating JML specifications using Constraint Logic Programming. A customized solver handles constraints that represent the value of instance fields.  have extended a model-based approach to be able to handle object-oriented specifications. Our tool is also able to check properties during the simulation and exhibit counter-examples for false properties. Therefore, it can be used both for semi-automated verification and for validation purposes.
['Fabrice Bouquet', 'Frédéric Dadeau', 'Bruno Legeard', 'Mark Utting']
I am writing a research paper on a idea JML-testing-tools : A symbolic animator for JML specifications using CLP
[{"from": "human", "value": "I am writing a research paper on a idea JML-testing-tools : A symbolic animator for JML specifications using CLP"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  describes a tool for symbolically animating JML specifications using Constraint Logic Programming. A customized solver handles constraints that represent the value of instance fields.  have extended a model-based approach to be able to handle object-oriented specifications. Our tool is also able to check properties during the simulation and exhibit counter-examples for false properties. Therefore, it can be used both for semi-automated verification and for validation purposes."}]