Sciweavers

1767 search results - page 63 / 354
» Open Source Ecology
Sort
View
ENTCS
2006
114views more  ENTCS 2006»
13 years 8 months ago
Open-Source Model Checking
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
Radu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Sm...
EXPERT
2006
45views more  EXPERT 2006»
13 years 8 months ago
Self-Organization Patterns in Wasp and Open Source Communities
Sergi Valverde, Guy Theraulaz, Jacques Gautrais, V...
CORR
2007
Springer
83views Education» more  CORR 2007»
13 years 8 months ago
On How Developers Test Open Source Software Systems
Andy Zaidman, Bart Van Rompaey, Serge Demeyer, Ari...