Registration			
			
			
			 - 			
			
							
				(open all day)
			
							
				
										splc-2023				
					
			
			
				Keynote 3			
			
			
			 - 			
							
				Chronicles of Concept lattices: Unveiling Structure in the Software World (Marianne Huchard)
			
			
							
				
										splc-2023				
					
			
			
				Townhall meeting			
			
			
			 - 			
			
			
							
				
										splc-2023				
					
			
			
				Coffee Break			
			
			
			 - 			
			
			
							
				
										splc-2023				
					
			
			
				Verification & Testing			
			
			
			 - 			
			
			
							
				
										splc-2023				
					
			
			
				Verification & Testing – Details			
			
			
			 - 			
			
							
				Family-based model checking of fMultiLTL properties.
Aleksandar Dimovski, Sami Lazreg, Maxime Cordy and Axel Legay
			
							
				
										splc-2023				
					
			
			
				Verification & Testing – Details			
			
			
			 - 			
			
							
				Feature-oriented Test Case Selection during Evolution of High-Configurable Systems.
Willian Douglas Ferrari Mendonça, Wesley K. G. Assunção and Silvia Regina Vergilio
			
							
				
										splc-2023				
					
			
			
				Verification & Testing – Details			
			
			
			 - 			
			
							
				Continuous T-Wise Coverage.
Tobias Pett, Tobias Heß, Sebastian Krieter, Thomas Thüm and Ina Schaefer
			
							
				
										splc-2023				
					
			
			
				Verification & Testing – Details			
			
			
			 - 			
			
							
				Test Scenario Generation for Feature-Based Context-Oriented Software Systems.
Pierre Martou, Kim Mens, Benoît Duhoux and Axel Legay
			
							
				
										splc-2023				
					
			
			
				Verification & Testing – Details			
			
			
			 - 			
			
							
				Model-based Testing for a Family of Mobile Applications: Industrial Experiences.
Stefan Fischer, Rudolf Ramler, Wesley K. G. Assunção, Alexander Egyed, Christian Gradl and Sebastian Auberger
			
							
				
										splc-2023				
					
			
			
				Lunch			
			
			
			 - 			
			
			
							
				
										splc-2023				
					
			
			
				Feature Model Analysis & Evolution Approaches			
			
			
			 - 			
			
			
							
				
										splc-2023				
					
			
			
				Feature Model Analysis & Evolution Approaches – Details			
			
			
			 - 			
			
							
				Belief-Driven Software Product Line Development and Evolution.
Lola Burgueño, José Miguel Horcas and Jörg Kienzle
			
							
				
										splc-2023				
					
			
			
				Feature Model Analysis & Evolution Approaches – Details			
			
			
			 - 			
			
							
				Analysis Operations On The Run: Beyond Static Feature Model Analysis.
Sebastian Lubos, Alexander Felfernig, Viet-Man Le, Thi Ngoc Trang Tran, David Benavides, José Zamudio and Damian Garber
			
							
				
										splc-2023				
					
			
			
				Feature Model Analysis & Evolution Approaches – Details			
			
			
			 - 			
			
							
				Adapting the Database to Feature Changes in Software Product Lines.
Alejandro Cortiñas, Miguel Rodríguez Luaces, Oscar Pedreira and Ángeles S. Places
			
							
				
										splc-2023				
					
			
			
				Feature Model Analysis & Evolution Approaches – Details			
			
			
			 - 			
			
							
				Elimination of constraints for parallel analysis of feature models.
José Miguel Horcas, Joaquín Ballesteros, Mónica Pinto and Lidia Fuentes
			
							
				
										splc-2023				
					
			
			
				Feature Model Analysis & Evolution Approaches – Details			
			
			
			 - 			
			
							
				How to Retire and Replace a Software Product Line.
Alejandro Cortiñas, Jacob Krüger, Victor Lamas, Oscar Pedreira and Miguel R. Luaces
			
							
				
										splc-2023				
					
			
			
				Hall of fame and closing			
			
			
			 - 			
			
			
							
				
										splc-2023				
					
