1. A model‐free and state‐cover testing scheme for semaphore‐based and shared‐memory concurrent programs. (13th January 2014) Authors: Hwang, Gwan‐Hwan; Lin, Che‐Sheng; Lee, Teng‐Shuo; Wu‐Lee, Chi; Brucker, Achim D.; Julliand, Jacques Journal: Software testing, verification & reliability Issue: Volume 24:Number 8(2014) Page Start: 706 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. A random testing approach using pushdown automata. (14th May 2014) Authors: Dreyfus, Aloïs; Héam, Pierre‐Cyrille; Kouchnarenko, Olga; Masson, Catherine; Brucker, Achim D.; Julliand, Jacques Journal: Software testing, verification & reliability Issue: Volume 24:Number 8(2014) Page Start: 656 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Automated test case generation for FBD programs implementing reactor protection system software. (5th September 2014) Authors: Jee, Eunkyoung; Shin, Donghwan; Cha, Sungdeok; Lee, Jang‐Soo; Bae, Doo‐Hwan; Brucker, Achim D.; Julliand, Jacques Journal: Software testing, verification & reliability Issue: Volume 24:Number 8(2014) Page Start: 608 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Bridging the gap between easy generation and efficient verification of unsatisfiability proofs. (3rd October 2014) Authors: Heule, Marijn J. H.; Hunt, Warren A.; Wetzler, Nathan; Brucker, Achim D.; Julliand, Jacques Journal: Software testing, verification & reliability Issue: Volume 24:Number 8(2014) Page Start: 593 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Editorial for the special issue of STVR on tests and proofs volume 1: tests and proofs in model‐based testing. (November 2014) Authors: Brucker, Achim D.; Julliand, Jacques; Brucker, Achim D.; Julliand, Jacques Journal: Software testing, verification & reliability Issue: Volume 24:Number 7(2014) Page Start: 497 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Editorial for the special issue of STVR on tests and proofs volume 2: tests and proofs for improving the generation time and quality of test data suites. (1st October 2014) Authors: Brucker, Achim D.; Julliand, Jacques; Brucker, Achim D.; Julliand, Jacques Journal: Software testing, verification & reliability Issue: Volume 24:Number 8(2014) Page Start: 591 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Exploring the missing link: an empirical study of software fixes. (7th October 2013) Authors: Hamill, Maggie; Goseva‐Popstojanova, Katerina; Brucker, Achim D.; Julliand, Jacques Journal: Software testing, verification & reliability Issue: Volume 24:Number 8(2014) Page Start: 684 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Formal firewall conformance testing: an application of test and proof techniques. (27th August 2014) Authors: Brucker, Achim D.; Brügger, Lukas; Wolff, Burkhart Journal: Software testing, verification & reliability Issue: Volume 25:Number 1(2015:Jan.) Page Start: 34 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Issue Information. (November 2014) Authors: Brucker, Achim D.; Julliand, Jacques Journal: Software testing, verification & reliability Issue: Volume 24:Number 7(2014) Page Start: i Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Issue Information. (September 2014) Authors: Brucker, Achim D.; Julliand, Jacques Journal: Software testing, verification & reliability Issue: Volume 24:Number 8(2014) Page Start: i Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗