Author of the publication

An Automated Approach to Specification-Based Program Inspection.

, , , , and . ICFEM, volume 3785 of Lecture Notes in Computer Science, page 421-434. Springer, (2005)

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

WIP - Promoting good modeling practice with a domain-specific language and statistical algorithms designed for parallel computing., , , , and . SpringSim (TMS-DEVS), page 143-148. SCS/ACM, (2015)Towards an EDSL to Enhance Good Modelling Practice for Non-linear Stochastic Discrete Dynamical Models - Application to Plant Growth Models., , and . SIMULTECH, page 132-138. SciTePress, (2013)A relation-based method combining functional and structural testing for test case generation., and . J. Syst. Softw., 81 (2): 234-248 (2008)Learning Code-Query Interaction for Enhancing Code Searches., , , , and . ICSME, page 115-126. IEEE, (2020)Multi-objective optimization and algorithm improvement on thermal coupling of SOFC-GT-ORC integrated system., , , , , , , and . Comput. Chem. Eng., (2022)Mining Developer Mailing List to Predict Software Defects., , and . APSEC (1), page 383-390. IEEE Computer Society, (2014)Optimal Control of Crop Irrigation based on the Hamilton-Jacobi-Bellman Equation., , and . SIAM Conf. on Control and its Applications, page 21-28. SIAM, (2013)Multi-operative USB HD: An All-In-One Solution to IT Supports and Forensic Experts., and . J. Softw., 9 (4): 847-858 (2014)Hybrid oscillator-based no-delay hip exoskeleton control for free walking assistance., , , , , and . Ind. Robot, 48 (6): 906-914 (2021)An Empirical Study on Tensor Shape Faults in Deep Learning Systems., , and . CoRR, (2021)