Bandera carries the following meanings:

Bandera
Bandera: extracting finite-state models from Java source code
Bandera: a source-level interface for model checking Java programs
Bandera: a source-level interface for model checking Java programs
et al. Bandera: Extracting finite state models from Java source code
Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software
Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software
Expressing checkable properties of dynamic systems: the Bandera Specification Language
Late-Glacial History of Lago Argentino, Argentina, and Age of the Puerto Bandera Moraines
Enriched and depleted source components for tholeiitic and alkaline lavas from Zuni-Bandera, New Mexico: Inferences about intraplate...