Author of the publication

Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation.

, , , , , and . SoMeT, volume 217 of Frontiers in Artificial Intelligence and Applications, page 383-397. IOS Press, (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

Differential Measurement of a Compact LSPR Biosensor System by Two Filter-Free Wavelength Sensors for Improved Molecular Selectivity., , , , , and . SENSORS, page 1-4. IEEE, (2023)Gaze tracking in wide area using multiple camera observations., , , and . ETRA, page 273-276. ACM, (2012)A lamination micromixier using silicon DRIE technology., , , , and . NEMS, page 650-653. IEEE, (2011)Classification of Pedestrian Behavior in a Shopping Mall based on LRF and Camera Observations., , , , , , and . MVA, page 1-5. (2011)CMOS-Based Ion Image Sensors for Eliminating Optical Contamination., , , , , , , , , and . BioCAS, page 564-568. IEEE, (2022)A New Min-Cut Placement Algorithm for Timing Assurance Layout Design Meeting Net Length Constraint., , and . DAC, page 96-102. IEEE Computer Society Press, (1990)High pH Resolution Extended Gate Type pH Image Sensors with the Charge Accumulation Circuit., , , , , , , and . BioCAS, page 1-4. IEEE, (2018)A study on process-compatibility in CMOS-first MEMS-last integration., , , , , , and . CICC, page 85-88. IEEE, (2008)Insertable 256×256 ion image sensor for spatiotemporal pH recording., , , , , and . BioCAS, page 1-4. IEEE, (2019)Functional validation of an additional device to the gas sensor for arbitrary control sensing properties., , , , , , , , and . IEEE SENSORS, page 1-4. IEEE, (2021)