Author of the publication

Automating Java Program Testing Using OCL and AspectJ.

, and . ITNG, page 1020-1025. IEEE Computer Society, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Design Assertions: Executable Assertions for Design Constraints.. ICCSA (Workshops 5), volume 13381 of Lecture Notes in Computer Science, page 617-631. Springer, (2022)A Complete Automation of Unit Testing for Java Programs., , and . Software Engineering Research and Practice, page 290-295. CSREA Press, (2005)A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs., and . ICST, page 537-540. IEEE Computer Society, (2008)Unification of verification and validation methods for software systems: progress report and initial case study formulation., , , , and . IPDPS, IEEE, (2006)Code Reuse between Java and Android Applications., , and . ICSOFT, page 246-253. SciTePress, (2019)A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking., , and . Software Engineering Research and Practice, page 403-408. CSREA Press, (2008)Automating Java Program Testing Using OCL and AspectJ., and . ITNG, page 1020-1025. IEEE Computer Society, (2010)CleanJava: A Formal Notation for Functional Program Verification., , and . ITNG, page 221-226. IEEE Computer Society, (2011)Automated Random Testing to Detect Specification-Code Inconsistencies.. SETP, page 112-119. ISRST, (2007)HifoCap: An Android App for Wearable Health Devices., , and . ICADIWT, volume 300 of Frontiers in Artificial Intelligence and Applications, page 178-192. IOS Press, (2017)