SCOPUS 정보 검색 플랫폼

2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings

Volumn , Issue , 2011, Pages 372-375

Detection of feature interactions using feature-aware verification

(5) Apel, Sven a Speidel, Hendrik a Wendler, Philipp a Von Rhein, Alexander a Beyer, Dirk a,b

a UNIVERSITY OF PASSAU (Germany)

b SIMON FRASER UNIVERSITY (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC DETECTION; CRITICAL BEHAVIOR; DOMAIN KNOWLEDGE; E-MAIL SYSTEMS; EXPONENTIAL NUMBERS; FEATURE COMBINATION; FEATURE INTERACTIONS; MODEL-CHECKING TECHNOLOGY; PRODUCT-LINES; SOFTWARE PRODUCT LINE; SOFTWARE PRODUCTS; TOOLSUITE;

NETWORK ARCHITECTURE; SOFTWARE DESIGN; SPECIFICATIONS;

MODEL CHECKING;

EID: 84855471710 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1109/ASE.2011.6100075 Document Type: Conference Paper

Times cited : (112)

References (15)

1
- 70349515057
- An Overview of Feature-Oriented Software Development
- S. Apel and C. Kästner. An Overview of Feature-Oriented Software Development. J. Object Technology, 8(5):49-84, 2009.
- (2009) J. Object Technology , vol.8 , Issue.5 , pp. 49-84
- Apel, S.¹ Kästner, C.²

2
- 78649791720
- Type Safety for Feature-Oriented Product Lines
- S. Apel, C. Kästner, A. Größlinger, and C. Lengauer. Type Safety for Feature-Oriented Product Lines. Automated Software Engineering, 17(3):251-300, 2010.
- (2010) Automated Software Engineering , vol.17 , Issue.3 , pp. 251-300
- Apel, S.¹ Kästner, C.² Größlinger, A.³ Lengauer, C.⁴

3
- 70349553081
- FeatureHouse: Language-Independent, Automated Software Composition
- IEEE
- S. Apel, C. Kästner, and C. Lengauer. FeatureHouse: Language-Independent, Automated Software Composition. In Proc. ICSE, pages 221-231. IEEE, 2009.
- (2009) Proc. ICSE , pp. 221-231
- Apel, S.¹ Kästner, C.² Lengauer, C.³

4
- 77952895606
- An Algebraic Foundation for Automatic Feature-Based Program Synthesis
- S. Apel, C. Lengauer, B. Möller, and C. Kästner. An Algebraic Foundation for Automatic Feature-Based Program Synthesis. Science of Computer Programming, 75(11):1022-1047, 2010.
- (2010) Science of Computer Programming , vol.75 , Issue.11 , pp. 1022-1047
- Apel, S.¹ Lengauer, C.² Möller, B.³ Kästner, C.⁴

5
- 78751696727
- Detecting Dependences and Interactions in Feature-Oriented Design
- IEEE
- S. Apel,W. Scholz, C. Lengauer, and C. Kästner. Detecting Dependences and Interactions in Feature-Oriented Design. In Proc. ISSRE, pages 161-170. IEEE, 2010.
- (2010) Proc. ISSRE , pp. 161-170
- Apel, S.¹ Scholz, W.² Lengauer, C.³ Kästner, C.⁴

6
- 84855465615
- Technical Report MIP-1105, University of Passau, September
- S. Apel, H. Speidel, P. Wendler, A. von Rhein, and D. Beyer. Feature-Aware Verification. Technical Report MIP-1105, University of Passau, September 2011.
- (2011) Feature-Aware Verification
- Apel, S.¹ Speidel, H.² Wendler, P.³ Von Rhein, A.⁴ Beyer, D.⁵

7
- 79960373989
- CPACHECKER: A tool for configurable software verification
- Proc. CAV, Springer
- D. Beyer and M. E. Keremoglu. CPACHECKER: A tool for configurable software verification. In Proc. CAV, LNCS 6806, pages 184-190. Springer, 2011.
- (2011) LNCS , vol.6806 , pp. 184-190
- Beyer, D.¹ Keremoglu, M.E.²

8
- 0037437627
- Feature interaction: A critical review and considered forecast
- DOI 10.1016/S1389-1286(02)00352-3, PII S1389128602003523
- M. Calder, M. Kolberg, E. Magill, and S. Reiff-Marganiec. Feature Interaction: A Critical Review and Considered Forecast. Computer Networks, 41(1):115-141, 2003. (Pubitemid 35460343)
- (2003) Computer Networks , vol.41 , Issue.1 , pp. 115-141
- Calder, M.¹ Kolberg, M.² Magill, E.H.³ Reiff-Marganiec, S.⁴

9
- 77954715140
- Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines
- ACM
- A. Classen, P. Heymans, P.-Y. Schobbens, A. Legay, and J.-F. Raskin. Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines. In Proc. ICSE, pages 335-344. ACM, 2010.
- (2010) Proc. ICSE , pp. 335-344
- Classen, A.¹ Heymans, P.² Schobbens, P.-Y.³ Legay, A.⁴ Raskin, J.-F.⁵

10
- 18744405767
- Fundamental nonmodularity in electronic mail
- DOI 10.1023/B:AUSE.0000049208.84702.84
- R. Hall. Fundamental Nonmodularity in Electronic Mail. Automated Software Engineering, 12(1):41-79, 2005. (Pubitemid 40672176)
- (2005) Automated Software Engineering , vol.12 , Issue.1 , pp. 41-79
- Hall, R.J.¹

11
- 80052678722
- Type Checking Annotation-Based Product Lines
- To appear
- C. Kästner, S. Apel, T. Thüm, and G. Saake. Type Checking Annotation-Based Product Lines. ACM TOSEM, 2011. To appear.
- (2011) ACM TOSEM
- Kästner, C.¹ Apel, S.² Thüm, T.³ Saake, G.⁴

12
- 77952187768
- Model Checking of Domain Artifacts in Product Line Engineering
- IEEE
- K. Lauenroth, S. Toehning, and K. Pohl. Model Checking of Domain Artifacts in Product Line Engineering. In Proc. ASE, pages 269-280. IEEE, 2009.
- (2009) Proc. ASE , pp. 269-280
- Lauenroth, K.¹ Toehning, S.² Pohl, K.³

13
- 0038687546
- Verifying Cross-Cutting Features as Open Systems
- ACM
- H. Li, S. Krishnamurthi, and K. Fisler. Verifying Cross-Cutting Features as Open Systems. In Proc. FSE, pages 89-98. ACM, 2002.
- (2002) Proc. FSE , pp. 89-98
- Li, H.¹ Krishnamurthi, S.² Fisler, K.³

14
- 56249135635
- Configuration Lifting: Verification meets Software Configuration
- IEEE
- H. Post and C. Sinz. Configuration Lifting: Verification meets Software Configuration. In Proc. ASE, pages 347-350. IEEE, 2008.
- (2008) Proc. ASE , pp. 347-350
- Post, H.¹ Sinz, C.²

15
- 38849084509
- Safe Composition of Product Lines
- ACM
- S. Thaker, D. Batory, D. Kitchin, and W. Cook. Safe Composition of Product Lines. In Proc. GPCE, pages 95-104. ACM, 2007.
- (2007) Proc. GPCE , pp. 95-104
- Thaker, S.¹ Batory, D.² Kitchin, D.³ Cook, W.⁴

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