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

Author/Creator Simao, Adenilso

1. A holistic approach to model‐based testing of Web service compositions. (18th October 2012)

Authors:: Belli, Fevzi; Endo, Andre Takeshi; Linschulte, Michael; Simao, Adenilso
Journal:: Software, practice & experience
Issue:: Volume 44:Number 2(2014)
Page Start:: 201
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Event tree algorithms to generate test sequences for composite Web services. (7th June 2017)

Authors:: Endo, Andre Takeshi; Simao, Adenilso
Journal:: Software testing, verification & reliability
Issue:: Volume 29:Number 3(2019)
Page Start:: n/a
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Extending HSI Test Generation Method for Software Product Lines. (4th May 2018)

Authors:: Fragal, Vanderson Hafemann; Simao, Adenilso; Mousavi, Mohammad Reza; Turker, Uraz Cengiz
Editors:: Santone, Antonella
Journal:: Computer journal
Issue:: Volume 62:Number 1(2019)
Page Start:: 109
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Generation of complete test suites from mealy input/output transition systems. (March 2016)

Authors:: Paiva, Sofia; Simao, Adenilso
Journal:: Formal aspects of computing
Issue:: Volume 28:Number 1(2016)
Page Start:: 65
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. Generation of complete test suites from mealy input/output transition systems. (March 2016)

Authors:: Paiva, Sofia; Simao, Adenilso
Journal:: Formal aspects of computing
Issue:: Volume 28:Number 1(2016)
Page Start:: 65
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗