Author/Creator: Uchitel, Sebastian - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Uchitel, Sebastian

1. Behaviour abstraction adequacy criteria for API call protocol testing. (16th October 2015)

Authors:: Czemerinski, Hernan; Braberman, Victor; Uchitel, Sebastian
Journal:: Software testing, verification & reliability
Issue:: Volume 26:Number 3(2016)
Page Start:: 211
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. On-the-fly informed search of non-blocking directed controllers. (January 2023)

Authors:: Ciolek, Daniel; Duran, Matias; Zanollo, Florencia; Pazos, Nicolas; Braier, Julián; Braberman, Victor; D'Ippolito, Nicolas; Uchitel, Sebastian
Journal:: Automatica
Issue:: Volume 147(2023)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗