Is Part Of: Software testing, verification & reliability. Volume 27:Number 3(2017) - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Is Part Of Software testing, verification & reliability. Volume 27:Number 3(2017)

1. Bounded model checking of C++ programs based on the Qt cross‐platform framework. (2nd March 2017)

Authors:: Monteiro, Felipe R.; Garcia, Mário A. P.; Cordeiro, Lucas C.; de Lima Filho, Eddie B.
Journal:: Software testing, verification & reliability
Issue:: Volume 27:Number 3(2017)
Page Start:: n/a
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. How to manage a conference special issue. (May 2017)

Authors:: Hierons, Robert M.
Journal:: Software testing, verification & reliability
Issue:: Volume 27:Number 3(2017)
Page Start:: n/a
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Issue Information. (May 2017)

Journal:: Software testing, verification & reliability
Issue:: Volume 27:Number 3(2017)
Page Start:: n/a
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Pattern‐based GUI testing: Bridging the gap between design and quality assurance. (2nd March 2017)

Authors:: Moreira, Rodrigo M. L. M.; Paiva, Ana Cristina; Nabuco, Miguel; Memon, Atif
Journal:: Software testing, verification & reliability
Issue:: Volume 27:Number 3(2017)
Page Start:: n/a
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗