- Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman. Reducing the size of resolution proofs in linear time. STTT, 13(3):263-272, 2011.
- Corina S. Pasareanu. New results in software model checking and analysis. STTT, 13(1):1-2, 2011.
- Ying Zou, Ji Wu, Kenny Wong. Guest editors introduction to the special section from the international symposium on web systems evolution. STTT, 13(2):107-109, 2011.
- Marco D Ambros, Michele Lanza, Mircea Lungu, Romain Robbes. On porting software visualization tools to the web. STTT, 13(2):181-200, 2011.
- Qiang Guo, John Derrick. Formally based tool support for model checking Erlang applications. STTT, 13(4):355-376, 2011.
- Harald Fecher, Sharon Shoham. Local abstraction-refinement for the ::::μ::::-calculus. STTT, 13(4):289-306, 2011.
- Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps. A decision procedure for detecting atomicity violations for communicating processes with locks. STTT, 13(1):37-60, 2011.
- Lei Bu, Xuandong Li. Path-oriented bounded reachability analysis of composed linear hybrid systems. STTT, 13(4):307-317, 2011.
- Liana Barachisio Lisboa, Vinicius Cardoso Garcia, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira. ToolDAy: a tool for domain analysis. STTT, 13(4):337-353, 2011.
- Alessandro Marchetto, Roberto Tiella, Paolo Tonella, Nadia Alshahwan, Mark Harman. Crawlability metrics for automated web testing. STTT, 13(2):131-149, 2011.