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

Is Part Of Software testing, verification & reliability. Volume 32:Number 1(2022)

1. Effective fault localization and context‐aware debugging for concurrent programs. (13th October 2021)

Authors:: Chu, Justin; Yu, Tingting; Huffman Hayes, Jane; Han, Xue; Zhao, Yu
Journal:: Software testing, verification & reliability
Issue:: Volume 32:Number 1(2022)
Page Start:: n/a
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. GPU acceleration of finite state machine input execution: Improving scale and performance. (8th October 2021)

Authors:: Yaneva, Vanya; Rajan, Ajitha; Dubach, Christophe
Journal:: Software testing, verification & reliability
Issue:: Volume 32:Number 1(2022)
Page Start:: n/a
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Issue Information. (10th December 2021)

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

4. Model checking C++ programs. (8th September 2021)

Authors:: Monteiro, Felipe R.; Gadelha, Mikhail R.; Cordeiro, Lucas C.
Journal:: Software testing, verification & reliability
Issue:: Volume 32:Number 1(2022)
Page Start:: n/a
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. Model checking, testing and debugging. (5th December 2021)

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

6. Survey on test case generation, selection and prioritization for cyber‐physical systems. (15th September 2021)

Authors:: Sadri‐Moshkenani, Zahra; Bradley, Justin; Rothermel, Gregg
Journal:: Software testing, verification & reliability
Issue:: Volume 32:Number 1(2022)
Page Start:: n/a
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗