Publications
Found 33 results
Author Keyword [ Title] Type Year Filters: First Letter Of Last Name is M [Clear All Filters]
Static and Dynamic Slicing of Constraint Logic Programs. Automated Software Engineering. 9:41–65.
.
2002. Static Slicing of JAVA Programs. Fifth Symposium on Programming Languages and Software Tools. :116-128.
.
1997. Supporting Software Product Line Testing by Optimizing Code Configuration Coverage. Proceedings of the 8th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW'15); 10th Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART'15). :1-7.
.
2015. Supporting Software Product Line Testing by Optimizing Code Configuration Coverage. Proceedings of the 8th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW'15); 10th Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART'15). :1-7.
.
2015. Threshold Circuits of Bounded Depth. J. Comput. Syst. Sci.. 46:129–154.
.
1993. Towards Automatic Domain Knowledge Extraction for Evolutionary Heuristics. Parallel Problem Solving from Nature PPSN VI. :755–764.
.
2000. Two Tapes Versus One for Off-Line Turing Machines. Computational Complexity. 3:392–401.
.
1993. Ultrasound-based Silent Speech Interface Built on a Continuous Vocoder. Proceedings of Interspeech. :894–898.
.
2019.