1. A generic static analyzer for multithreaded Java programs. (9th May 2012) Authors: Ferrara, P. Journal: Software, practice & experience Issue: Volume 43:Number 6(2013) Page Start: 663 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. 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) ↗
3. A new approach to authenticating and encrypting Voice over Internet Protocol communications. (12th December 2012) Authors: Lago‐Fernández, J.; Gil‐Castiñeira, F.; González‐Castaño, F.J.; Román‐Portabales, A. Journal: Software, practice & experience Issue: Volume 44:Number 5(2014) Page Start: 593 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. A refined decompiler to generate C code with high readability. (13th July 2012) Authors: Chen, Gengbiao; Qi, Zhengwei; Huang, Shiqiu; Ni, Kangqi; Zheng, Yudi; Binder, Walter; Guan, Haibing; Sicilia, Miguel‐Angel Journal: Software, practice & experience Issue: Volume 43:Number 11(2013) Page Start: 1337 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. A review of middleware approaches for energy management in distributed environments. (10th July 2012) Authors: Noureddine, Adel; Rouvoy, Romain; Seinturier, Lionel Other Names: Simons Anthony JH guestEditor.; Fraser Gordon guestEditor.; Bottaci Leonardo guestEditor. Journal: Software, practice & experience Issue: Volume 43:Number 9(2013) Page Start: 1071 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. A rule‐based approach for availability of service by automated service substitution. (17th September 2012) Authors: Liang, Qianhui; Lee, Bu‐Sung; Hung, Patrick C. K. Journal: Software, practice & experience Issue: Volume 44:Number 1(2014) Page Start: 47 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. A survey report of enhancements to the visitor software design pattern. (7th December 2012) Authors: Pati, Tanumoy; Hill, James H. Journal: Software, practice & experience Issue: Volume 44:Number 6(2014) Page Start: 699 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. A telematics service discovery platform using the distributed peer‐to‐peer networking system. (6th May 2012) Authors: Huang, Chung‐Ming; Yang, Chia‐Ching; Tseng, Chun‐Yu Journal: Software, practice & experience Issue: Volume 43:Number 6(2013) Page Start: 641 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. A thousand years of productivity: the JRebel story. (22nd October 2012) Authors: Kabanov, Jevgeni; Vene, Varmo Journal: Software, practice & experience Issue: Volume 44:Number 1(2014) Page Start: 105 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. A threat model‐based approach to security testing. (26th January 2012) Authors: Marback, Aaron; Do, Hyunsook; He, Ke; Kondamarri, Samuel; Xu, Dianxiang Journal: Software, practice & experience Issue: Volume 43:Number 2(2013) Page Start: 241 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗