SCOPUS 정보 검색 플랫폼

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5732 LNCS, Issue , 2009, Pages 787-801

Constraint-based local search for the automatic generation of architectural tests

(3) Van Hentenryck, Pascal a Coffrin, Carleton a Gutkovich, Boris b

a BROWN UNIVERSITY (United States)

b INTEL CORPORATION (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC GENERATION; CONDITIONAL CONSTRAINT SATISFACTION PROBLEM; CONSTRAINT-BASED; FUNDAMENTAL PROBLEM; HARD AND SOFT CONSTRAINTS; LARGE DOMAIN; LOCAL SEARCH; MEMORY ADDRESS; RUNTIMES; SET PROBLEMS;

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; CONSTRAINT THEORY;

PROBLEM SOLVING;

EID: 70350376038 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/978-3-642-04244-7_61 Document Type: Conference Paper

Times cited : (13)

References (9)

1
- 85135997562
- Dynamic constraint satisfaction problems
- Mittal, S., Falkenhainer, B.: Dynamic constraint satisfaction problems. In: Proceedings of the Eighth National Conference on Artificial Intelligence (1990)
- (1990) Proceedings of the Eighth National Conference on Artificial Intelligence
- Mittal, S.¹ Falkenhainer, B.²

2
- 49949108404
- Moss, A.: Constraint patterns and search procedures for cp-based random test generation. In: Yorav, K. (ed.) HVC 2007. LNCS, 4899, pp. 86-103. Springer, Heidelberg (2008)
- Moss, A.: Constraint patterns and search procedures for cp-based random test generation. In: Yorav, K. (ed.) HVC 2007. LNCS, vol. 4899, pp. 86-103. Springer, Heidelberg (2008)

3
- 29344453623
- Finding diverse and similar solutions in constraint programming
- Hebrard, E., Hnich, B., O'Sullivan, B., Walsh, T.: Finding diverse and similar solutions in constraint programming. In: Proceedings of the Twentieth National Conference on Artificial Intelligence (2005)
- (2005) Proceedings of the Twentieth National Conference on Artificial Intelligence
- Hebrard, E.¹ Hnich, B.² O'Sullivan, B.³ Walsh, T.⁴

4
- 33646204838
- The MIT Press, Cambridge
- Van Hentenryck, P., Michel, L.: Constraint-Based Local Search. The MIT Press, Cambridge (2005)
- (2005) Constraint-Based Local Search
- Van Hentenryck, P.¹ Michel, L.²

5
- 0036991699
- Using a constraint satisfaction formulation and solution techniques for random test program generation
- Bin, E., Emek, R., Shurek, G., Ziv, A.: Using a constraint satisfaction formulation and solution techniques for random test program generation. IBM Systems Journal 41(3) (2002)
- (2002) IBM Systems Journal , vol.41 , Issue.3
- Bin, E.¹ Emek, R.² Shurek, G.³ Ziv, A.⁴

6
- 33646198795
- Geller, F., Veksler, M.: Assumption-based pruning in conditional csp. In: van Beek, P. (ed.) CP 2005. LNCS, 3709, pp. 241-255. Springer, Heidelberg (2005)
- Geller, F., Veksler, M.: Assumption-based pruning in conditional csp. In: van Beek, P. (ed.) CP 2005. LNCS, vol. 3709, pp. 241-255. Springer, Heidelberg (2005)

7
- 0038558266
- Configuration as composite constraint satisfaction
- Sabin, D., Freuder, E.C.: Configuration as composite constraint satisfaction. In: Proceedings of Artificial Intelligence and Manufacturing Research Planning Workshop (1996)
- (1996) Proceedings of Artificial Intelligence and Manufacturing Research Planning Workshop
- Sabin, D.¹ Freuder, E.C.²

8
- 33750377030
- Van Hentenryck, P., Michel, L.: Differentiable invariants. In: Benhamou, F. (ed.) CP 2006. LNCS, 4204, pp. 604-619. Springer, Heidelberg (2006)
- Van Hentenryck, P., Michel, L.: Differentiable invariants. In: Benhamou, F. (ed.) CP 2006. LNCS, vol. 4204, pp. 604-619. Springer, Heidelberg (2006)

9
- 0004215426
- Kluwer, Dordrecht
- Glover, F., Laguna, M.: Tabu Search. Kluwer, Dordrecht (1997)
- (1997) Tabu Search
- Glover, F.¹ Laguna, M.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.