Search-Based Software Engineering:

Search-Based Software Engineering: Trends, Techniques and Applications 11:61

WANG, Z., TANG, K., AND YAO, X. 2008. A multi-objective approach to testing resource allocation in modular
software systems. In Proceedings of the IEEE Congress on Evolutionary Computation (CEC’08) . IEEE,
1148–1153.
WEGENER, J., BARESEL , A., AND STHAMER, H. 2001. Evolutionary test environment for automatic struc-tural
testing. Inf. Softw. Technol. 43 , 14, 841–854.
WEGENER, J. AND GROCHTMANN, M. 1998. Verifying timing constraints of real-time systems by means of
evolutionary testing. Real-Time Syst. 15 , 3, 275–298.
WEGENER, J., GROCHTMANN, M., AND JONES, B. 1997a. Testing temporal correctness of real-time systems by
means of genetic algorithms. In Proceedings of the 10th International Software Quality Week (QW’97).
WEGENER, J. AND MUELLER, F. 2001. A comparison of static analysis and evolutionary testing for the
verification of timing constraints. Real-Time Syst. 21 , 3, 241–268.
WEGENER, J., STHAMER, H., JONES, B. F., AND EYRES, D. E. 1997b. Testing real-time systems using genetic
algorithms. Softw. Qual. J. 6, 2, 127–135.
WEN, F. AND LIN, C.-M. 2008. Multistage human resource allocation for software development by multi
objective genetic algorithm. The Open Appl. Math. J. 2, 95–103.
WHITE, D. R., CLARK, J. A., JACOB, J., AND POULDING, S. M. 2008. Searching for resource-efficient programs:
Low-Power pseudorandom number generators. In Proceedings of the 10th Annual Conference on Genetic
and Evolutionary Computation (GECCO’08), M. Keijzer, Ed., ACM Press, New York, 1775–1782.
WILLIAMS, K. P. 1998. Evolutionary algorithms for automatic parallelization. Ph.D. thesis, University of
Reading, UK.
WINDISCH, A., WAPPLER , S., AND WEGENER, J. 2007. Applying particle swarm optimization to software testing.
In Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation (GECCO’07).
ACM Press, New York, 1121–1128.
XIE, T., TILLMANN, N., DE HALLEUX , P., AND SCHULTE, W. 2008. Fitness-Guided path exploration in dynamic
symbolic execution. Tech. rep. MSR-TR-2008-123, Microsoft Research. September.
YANG, L., JONES, B. F., AND YANG, S.-H. 2006. Genetic algorithm based software integration with minimum
software risk. Inf. Softw. Technol. 48 , 3, 133–141.
YOO, S. AND HARMAN, M. 2011. Regression testing minimisation, selection and prioritisation: A survey. J.
Softw. Test. Verif. Reliab. (To appear).
YOO, S., HARMAN, M., AND UR, S. 2009. Measuring and improving latency to avoid test suite wear out. In
Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation
Workshops (ICSTW’09). IEEE, 101–110 (Best Paper Award).
YOO, S., HARMAN, M., AND UR, S. 2011a. Highly scalable multi-objective test suite minimisation using graphics
card. Tech. rep. RN/11/07, University College London. January.
YOO, S., HARMAN, M., AND UR, S. 2011b. Highly scalable multi-objective test suite minimisation using graphics
cards. In Proceedings of the 3rd International Symposium on Search Based Software Engineering
(SSBSE’11). Springer.
ZELLER, A. 2011. Search-Based program analysis. In Proceedings of the 3rd International Symposium on
Search Based Software Engineering (SSBSE’11). Springer, 1–4. Keynote.
ZHANG, C., SU, S., AND CHEN, J. 2006. A novel genetic algorithm for QoS-aware web services selection. In
Proceedings of the 2nd International Workshop on Data Engineering Issues in E-Commerce and Services
(DEECS’06). Lecture Notes in Computer Science, vol. 4055. Springer, 224–235.
ZHANG, C., SU, S., AND CHEN, J. 2007a. DiGA: Population diversity handling genetic algorithm for QoS-aware
web services selection. Comput. Comm. 30, 5, 1082–1090.
ZHANG, X., MENG, H., AND JIAO, L. 2005. Intelligent particle swarm optimization in multiobjective optimization.
In Proceedings of the IEEE Congress on Evolutionary Computation (CEC’05) . Vol. 1. IEEE, 714–719.
ZHANG, Y., ALBA, E., DURILLO, J. J., ELDH, S., AND HARMAN, M. 2010. Today/Future importance analysis. In
Proceedings of the 12th Annual Conference on Genetic and Evolutionary Computation (GECCO’10).
ACM Press, New York, 1357–1364.
ZHANG, Y., FINKELSTEIN, A., AND HARMAN, M. 2008. Search based requirements optimisation: Existing work and
challenges. In Proceedings of the 14th International Working Conference, Requirements Engineering:
Foundation for Software Quality (RefsQ’08). Lecture Notes in Computer Science, vol. 5025. Springer,
88–94.
ZHANG, Y., HARMAN, M., AND MANSOURI , S. A. 2007b. The multi-objective next release problem. In Proceedings
of the 9th Annual Conference on Genetic and Evolutionary Computation (GECCO’07). ACM Press, New
York, 1129–1137.

Received April 2009; revised February 2011; accepted August 2011

Kết quả (Việt) 1:

Tìm kiếm dựa trên công nghệ phần mềm: Xu hướng, kỹ thuật và ứng dụng 11:61 WANG, Z., ĐƯỜNG, K., VÀ YAO, X. 2008. Một cách tiếp cận đa mục tiêu để thử nghiệm phân bổ nguồn lực trong mô-đun Hệ thống phần mềm. Trong thủ tục tố tụng của hội IEEE ngày tiến hóa tính toán (CEC'08). IEEE, 1148-1153. WEGENER, J., BARESEL, A., VÀ STHAMER, H. NĂM 2001. Môi trường tiến hóa thử nghiệm cho tự động struc-tural thử nghiệm. Inf. Softw. Technol. 43, 14, 841-854. WEGENER, J. VÀ GROCHTMANN, M. 1998. Xác minh thời gian khó khăn của các hệ thống thời gian thực bởi means của kiểm tra tiến hóa. Thời gian thực Syst. 15, 3, 275-298. WEGENER, J., GROCHTMANN, M., và JONES, B. 1997a. Kiểm tra thời gian đúng đắn của các hệ thống thời gian thực bởi có nghĩa là thuật toán di truyền. Trong thủ tục tố tụng của 10 quốc tế phần mềm chất lượng tuần (QW'97). WEGENER, J. VÀ MUELLER, F. NĂM 2001. Một so sánh của tĩnh phân tích và thử nghiệm tiến hóa cho các verification của ràng buộc thời gian. Thời gian thực Syst. 21, 3, 241-268. WEGENER, J., STHAMER, H., JONES, B. F. và EYRES, D. E. 1997b. Thử nghiệm hệ thống thời gian thực bằng cách sử dụng di truyền thuật toán. Softw. Vòng loại J. 6, 2, 127-135. WEN, F. VÀ LIN, C.-M. 2008. nhiều tầng nguồn nhân lực phân bổ cho phần mềm phát triển bởi đa thuật toán di truyền khách quan. Toán học Appl mở. J. 2, 95-103. TRẮNG, D. R., CLARK, J. A., JACOB, J., VÀ POULDING, S. M. 2008. Tìm kiếm cho các chương trình tài nguyên-efficient: Máy phát điện số ngẫu nhiên ảo qua năng lượng thấp. Trong thủ tục tố tụng của hội nghị thường niên 10 trên di truyền và tiến hóa tính toán (GECCO'08), M. Keijzer, Ed., ACM báo chí, New York, năm 1775-1782. WILLIAMS, K. P. 1998. Tiến hóa thuật toán để tự động parallelization. Luận án tiến sĩ, đại học Reading, Vương Quốc Anh. WINDISCH, A., WAPPLER, S., VÀ WEGENER, J. 2007. Áp dụng tối ưu hóa công cụ hạt swarm để kiểm thử phần mềm. Trong thủ tục tố tụng của hội nghị thường niên 9 trên tính toán di truyền và tiến hóa (GECCO'07). ACM báo chí, New York, 1121-1128. XIE, T., NHÀ, P. N., DE HALLEUX, VÀ SCHULTE, W. 2008. Thể dục hướng dẫn đường đi thăm dò trong năng động thực hiện biểu tượng. Tech. Rep MSR-TR-2008-123, Microsoft nghiên cứu. Tháng chín. YANG, L., JONES, B. F. VÀ YANG, S.-H. 2006. di truyền thuật toán dựa trên phần mềm tích hợp với tối thiểu phần mềm nguy cơ. Inf. Softw. Technol. 48, 3, 133-141. YOO, S. VÀ HARMAN, M. NĂM 2011. Hồi qui kiểm tra thiểu, lựa chọn và ưu: một cuộc khảo sát. J. Softw. Test. Verif. Reliab. (Để xuất hiện). YOO, S., HARMAN, M., VÀ UR, S. NĂM 2009. Đo lường và cải thiện độ trễ để tránh bộ kiểm tra mòn dần. Ở Thủ tục tố tụng của IEEE hội nghị quốc tế về kiểm thử phần mềm, Verification, và xác nhận Hội thảo (ICSTW'09). IEEE, 101-110 (sắc giấy). YOO, S., HARMAN, M., và UR, S. 2011a. Thử nghiệm đa mục tiêu khả năng mở rộng cao mật thiểu bằng cách sử dụng đồ họa thẻ. Tech. Rep RN/11/07, trường cao đẳng đại học London. Tháng một. YOO, S., HARMAN, M., và UR, S. 2011b. Thử nghiệm đa mục tiêu khả năng mở rộng cao mật thiểu bằng cách sử dụng đồ họa thẻ. Trong thủ tục tố tụng của thứ 3 quốc tế Hội nghị chuyên đề về tìm kiếm dựa trên công nghệ phần mềm (SSBSE'11). Springer. ZELLER, A. NĂM 2011. Phân tích dựa trên tìm kiếm chương trình. Trong thủ tục tố tụng của hội nghị chuyên đề quốc tế 3 ngày Tìm kiếm dựa trên công nghệ phần mềm (SSBSE'11). Springer, 1-4. Phát biểu quan trọng. ZHANG, C., SU, S., VÀ TRẦN, J. 2006. Một thuật toán di truyền tiểu thuyết cho QoS, nhận thức lựa chọn dịch vụ web. Ở Thủ tục tố tụng của hội thảo quốc tế 2 trên dữ liệu các vấn đề kỹ thuật trong thương mại điện tử và dịch vụ (DEECS' 06). Bài giảng các ghi chú trong khoa học máy tính, vol. 4055. Springer, 224-235. ZHANG, C., SU, S., và trần, J. 2007a. DiGA: Sự đa dạng dân xử lý thuật toán di truyền cho biết QoS Các lựa chọn dịch vụ web. Comput. Comm. 30, 5, 1082-1090. ZHANG, X., MENG, H., VÀ JIAO, L. NĂM 2005. Hạt thông minh swarm tối ưu hóa tối ưu hóa multiobjective. Trong thủ tục tố tụng của hội IEEE ngày tiến hóa tính toán (CEC'05). Vol. 1. IEEE, 714-719. ZHANG, Y., ALBA, E., DURILLO, J. J., ELDH, S., VÀ HARMAN, M. 2010. Phân tích tầm quan trọng ngày hôm nay/tương lai. Ở Thủ tục tố tụng của hội nghị thường niên 12 trên tính toán di truyền và tiến hóa (GECCO'10). ACM báo chí, New York, 1357 – 1364. ZHANG, Y., FINKELSTEIN, M. A., VÀ HARMAN, 2008. Tối ưu hóa công cụ tìm kiếm dựa trên yêu cầu: công việc hiện tại và những thách thức. Trong thủ tục tố tụng của 14 quốc tế làm việc hội nghị, yêu cầu kỹ thuật: Nền tảng cho chất lượng phần mềm (RefsQ'08). Bài giảng các ghi chú trong khoa học máy tính, vol. 5025. Springer, 88-94. ZHANG, Y., HARMAN, M., và MANSOURI, S. A. 2007b. Vấn đề phát hành đa mục tiêu tiếp theo. Trong thủ tục tố tụng của hội nghị thường niên 9 trên tính toán di truyền và tiến hóa (GECCO'07). Báo chí ACM, mới York, 1129-1137. Nhận được tháng 4 năm 2009; Sửa đổi ngày năm 2011; chấp nhận tháng 8 năm 2011

Kết quả (Việt) 2:

Tìm kiếm dựa trên Kỹ thuật phần mềm: Xu hướng, kỹ thuật và ứng dụng 11:61 WANG, Z., TANG, K., và YAO, X. 2008. Một cách tiếp cận đa mục tiêu để phân bổ nguồn lực trong mô-đun thử nghiệm hệ thống phần mềm. Trong Kỷ yếu của Quốc hội IEEE trên Evolutionary Computation (CEC'08). IEEE, 1148-1153. Wegener, J., BARESEL, A., và STHAMER, H. 2001. môi trường thử nghiệm tiến hóa cho struc-tural tự động thử nghiệm. Inf. Softw. Technol. 43, 14, 841-854. Wegener, J. VÀ GROCHTMANN, M. 1998. Xác minh hạn chế thời gian của hệ thống thời gian thực bằng cách kiểm tra tiến hóa. Real-Time Syst. 15, 3, 275-298. Wegener, J., GROCHTMANN, M., và JONES, B. 1997a. Kiểm tra tính chính xác thời gian của hệ thống thời gian thực bằng phương tiện của các thuật toán di truyền. Trong Kỷ yếu của Tuần chất lượng phần mềm quốc tế lần thứ 10 (QW'97). Wegener, J. và Mueller, F. 2001. Một so sánh phân tích tĩnh và thử nghiệm tiến hóa cho fi cation veri của hạn chế thời gian. Real-Time Syst. 21, 3, 241-268. Wegener, J., STHAMER, H., JONES, BF, VÀ EYRES, DE 1997b. Kiểm tra hệ thống thời gian thực bằng cách sử dụng di truyền thuật toán. Softw. Qual. J. 6, 2, 127-135. WEN, F. VÀ LIN, C.-M. 2008. nhiều tầng phân bổ nguồn nhân lực cho phát triển phần mềm bằng cách đa thuật toán di truyền khách quan. The Open Appl. Math. . J. 2, 95-103 WHITE, DR, CLARK, JA, Jacob, J., và POULDING, SM năm 2008. Tìm kiếm các chương trình fi cient tài nguyên ef: Low-Power máy phát điện số giả ngẫu nhiên. Trong Kỷ yếu của Hội nghị thường niên lần thứ 10 về di truyền và Evolutionary Computation (GECCO'08), M. Keijzer, Ed., ACM Press, New York, 1775-1782. WILLIAMS, KP năm 1998. Thuật toán tiến hóa để song song tự động. Tiến sĩ luận văn, Đại học Reading, Anh. WINDISCH, A., WAPPLER, S., và Wegener, J. 2007. Áp dụng tối ưu hóa bầy hạt để kiểm thử phần mềm. Trong Kỷ yếu của Hội nghị thường niên lần thứ 9 về di truyền và Evolutionary Computation (GECCO'07) . ACM Press, New York, 1121-1128. Tạ, T., Tillmann, N., DE HALLEUX, P., và Schulte, W. 2008. Thể dục-hướng dẫn thăm dò đường đi trong động thực hiện mang tính biểu tượng. Tech. đại diện. MSR-TR-2008-123, Microsoft Research. Tháng Chín. YANG, L., JONES, BF, VÀ YANG, S.-H. 2006. thuật toán di truyền dựa trên phần mềm tích hợp với tối thiểu nguy cơ phần mềm. Inf. Softw. Technol. 48, 3, 133-141. YOO, S. và HARMAN, M. 2011. Regression thử nghiệm giảm thiểu, lựa chọn và ưu tiên: Một cuộc khảo sát. J. softw. Test. Verif. Reliab. (Để xuất hiện). YOO, S., HARMAN, M., và UR, S. 2009. Đo lường và cải thiện độ trễ để tránh kiểm tra bộ mang ra ngoài. Trong Kỷ yếu của Hội nghị quốc tế IEEE về kiểm thử phần mềm, VERI fi cation, và Validation hội thảo (ICSTW'09). IEEE, 101-110 (Giải thưởng giấy tốt nhất). YOO, S., HARMAN, M., và UR, S. 2011a. Khả năng mở rộng bộ kiểm tra đa mục tiêu giảm thiểu sử dụng đồ họa thẻ. Tech. đại diện. RN / 11/07, Đại học College London. Tháng Giêng. YOO, S., HARMAN, M., và UR, S. 2011b. Khả năng mở rộng đa mục tiêu kiểm tra bộ giảm thiểu sử dụng đồ họa thẻ. Trong Kỷ yếu của Hội thảo quốc tế lần thứ 3 về tìm kiếm dựa trên Công Nghệ Phần Mềm (SSBSE'11). Springer. Zeller, A. 2011. Tìm kiếm dựa trên phân tích chương trình. Trong Kỷ yếu của Hội thảo quốc tế lần thứ 3 về tìm kiếm dựa trên Công Nghệ Phần Mềm (SSBSE'11). Springer, 1-4. Keynote. Trương, C., SU, S., VÀ CHEN, J. 2006. Một thuật toán di truyền mới cho các dịch vụ web lựa chọn QoS-aware. Trong Kỷ yếu của Hội thảo lần thứ 2 Quốc tế về dữ liệu các vấn đề kỹ thuật trong thương mại điện tử và dịch vụ (DEECS'06). Giảng viên chú ý trong Khoa học máy tính, vol. 4055. Springer, 224-235. Trương, C., SU, S., VÀ CHEN, J. 2007a. DIGA: đa dạng Dân số xử lý thuật toán di truyền cho QoS nhận thức dịch vụ web lựa chọn. Comput. Comm. 30, 5, 1082-1090. Trương, X., Meng, H., và Jiao, L. 2005. Thông minh tối ưu hóa bầy hạt trong tối ưu hóa multiobjective. Trong Kỷ yếu của Hội nghị IEEE trên Evolutionary Computation (CEC'05). Vol. 1. IEEE, 714-719. Trương, Y., ALBA, E., DURILLO, JJ, ELDH, S., và HARMAN, M. 2010. Ngày nay / Tương lai phân tích tầm quan trọng. Trong Kỷ yếu của Hội nghị thường niên lần thứ 12 về di truyền và Evolutionary Computation (GECCO'10). ACM Press, New York, 1357-1364. Trương, Y., Finkelstein, A., và HARMAN, M. 2008. Tìm kiếm dựa trên các yêu cầu tối ưu hóa: hiện công việc và thách thức. Trong Kỷ yếu của Hội nghị quốc tế lần thứ 14 làm việc, Yêu cầu kỹ thuật: Foundation cho chất lượng phần mềm (RefsQ'08). Giảng viên chú ý trong Khoa học máy tính, vol. 5025. Springer, 88-94. Trương, Y., HARMAN, M., và Mansouri, SA 2007b. Đa mục tiêu tiếp theo vấn đề phát hành. Trong Kỷ yếu của Hội nghị thường niên lần thứ 9 về di truyền và Evolutionary Computation (GECCO'07). ACM Press, New York, 1129-1137. Nhận tháng 4 năm 2009; sửa đổi tháng 2 năm 2011; chấp nhận tháng 8 năm 2011