„Software-testing“

Suchergebnisse

1.433 Treffer

• Agent-Oriented Software Engineering XI – 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers
  Weyns, Danny ; Gleizes, Marie-Pierre 2011 Springer Berlin Heidelberg
• Computer Aided Verification – 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
  Gopalakrishnan, Ganesh ; Qadeer, Shaz 2011 Springer Berlin Heidelberg
• Tests and Proofs – 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings
  Gogolla, Martin ; Wolff, Burkhart 2011 Springer Berlin Heidelberg
• Formal Methods for Eternal Networked Software Systems – 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
  Bernardo, Marco ; Issarny, Valérie 2011 Springer Berlin Heidelberg
• Engineering Secure Software and Systems – Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings
  Erlingsson, Úlfar ; Wieringa, Roel ; Zannone, Nicola 2011 Springer Berlin Heidelberg
• Central European Functional Programming School – Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures
  Horváth, Zoltán ; Plasmeijer, Rinus ; Zsók, Viktória 2010 Springer Berlin Heidelberg
• Runtime Verification – First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
  Barringer, Howard ; Rosu, Grigore ; Sokolsky, Oleg 2010 Springer Berlin Heidelberg
• Unifying Theories of Programming – Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
  2010 Springer Berlin Heidelberg
• Advances in Artificial Intelligence – IBERAMIA 2010 – 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010. Proceedings
  2010 Springer Berlin Heidelberg
• Advances in Information and Computer Security – 5th International Workshop on Security, IWSEC 2010, Kobe, Japan, November 22-24, 2010. Proceedings
  Echizen, Isao ; Kunihiro, Noboru ; Sasaki, Ryoichi 2010 Springer Berlin Heidelberg
• Advances in Artificial Intelligence – SBIA 2010 – 20th Brazilian Symposium on Artificial Intelligence, São Bernardo do Campo, Brazil, October 23-28, 2010. Proceedings
  Kuri-Morales, Angel ; Simari, Guillermo R. 2011 Springer Berlin Heidelberg
• Testing Software and Systems – 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
  Petrenko, Alexandre ; Simão, Adenilso ; Maldonado, José Carlos 2010 Springer Berlin Heidelberg
• Testing – Practice and Research Techniques – 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings
  Bottaci, Leonardo 2010 Springer Berlin Heidelberg
• Unifying Theories of Programming – Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
  Qin, Shengchao 2010 Springer Berlin Heidelberg
• Testing of Communicating Systems – 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings
  Uyar, M. Ümit 2005 Springer Berlin Heidelberg
• Testing Techniques in Software Engineering – Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
  Borba, Paulo 2010 Springer Berlin Heidelberg
• Formal Approaches to Software Testing – 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
  Grieskamp, Wolfgang 2005 Springer Berlin Heidelberg
• Testing of software and communication systems – 21st IFIP WG 6.1 international conference ; proceedings
  Núñez, Manuel 2009 Springer
• Hardware and software: verification and testing – proceedings
  Chockler, Hana 2009 Springer
• Testing of software and communicating systems – 20th IFIP TC 6 WG 6.1 international conference ; proceedings
  Suzuki, Kenji 2008 Springer