An evaluation of Boolean expression testing techniques
- 期刊名称ACM SIGSOFT Software Engineering Notes
- 作者Singh, R. K.; Chandra, Pravin; Singh, Yogesh
- 卷第31卷
- 期第5期
- 印刷ISSN0163-5948
- 文件大小301.64KB
- 发表时间2006-09-01
- DOI10.1145/1163514.1163534
Gluing theorems for constant scalar curvature manifoldsByde, Andrew · Indiana University Mathematics Journal · 2003
Convergent expansions for solutions to non-linear singular Cauchy problemsAndrew Byde · 2001
[ACM Press the 4th ACM conference - San Diego, CA, USA (2003.06.09-2003.06.12)] Proceedings of the 4th ACM conference on Electronic commerce - EC '03 - AutONAByde, Andrew; Yearworth, Mike; Chen, Kay-Yut; Bartolini, Claudio; Vulkan, Nir · 2003
[ACM Press the fifth international conference - Montreal, Quebec, Canada (2001..-..)] Proceedings of the fifth international conference on Autonomous agents - AGENTS '01 - Economic dynamics of agents in multiple auctionsPreist, Chris; Byde, Andrew; Bartolini, Claudio · 2001
[ACM Press the 4th ACM conference - San Diego, CA, USA (2003.06.09-2003.06.12)] Proceedings of the 4th ACM conference on Electronic commerce - EC '03 - Applying evolutionary game theory to auction mechanism designByde, Andrew · 2003
[ACM Press the first international joint conference - Bologna, Italy (2002.07.15-2002.07.19)] Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 2 - AAMAS '02 - Decision procedures for multiple auctionsByde, Andrew; Preist, Chris; Jennings, Nicholas R. · 2002
[ACM Press the 4th ACM conference - San Diego, CA, USA (2003.06.09-2003.06.12)] Proceedings of the 4th ACM conference on Electronic commerce - EC '03 - Agent-based service composition through simultaneous negotiation in forward and reverse auctionsPreist, Chris; Bartolini, Claudio; Byde, Andrew · 2003