Author of the publication

A Framework for Machine-Assisted User Interface Verification.

, , , and . AMAST, volume 936 of Lecture Notes in Computer Science, page 461-474. Springer, (1995)

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

A Generative Approach for Multi-agent System Development., , , and . SELMAS, volume 3390 of Lecture Notes in Computer Science, page 52-69. Springer, (2004)Towards using task similarity to recommend Stack Overflow posts., , , , and . CIbSE, page 199-211. Curran Associates, (2018)KryptoOracle: A Real-Time Cryptocurrency Price Prediction Platform Using Twitter Sentiments., , and . CoRR, (2020)A formal modeling and analysis approach for access control rules, policies, and their combinations., , and . Int. J. Inf. Sec., 16 (1): 43-74 (2017)The Use of Machine Learning Algorithms in Recommender Systems: A Systematic Review., , and . CoRR, (2015)A Survey on Domain-Specific Languages for Machine Learning in Big Data., , and . CoRR, (2016)BPMNt: A BPMN extension for specifying software process tailoring., , , and . Inf. Softw. Technol., (2015)A Method to Recommend Artifacts to New Tasks in Software Projects (S)., , and . SEKE, page 489-633. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2019)AgileCritPath: Identifying Critical Tasks in Agile Environments., , , , and . SEKE, page 20-38. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2019)Context-Augmented Software Development in Traditional and Big Data Projects: Literature Review and Preliminary Framework., , and . IEEE BigData, page 3449-3457. IEEE, (2019)